class LocationVar {
private int contactBookEnabled
private def modes
+ private def timeZone
private String mode
private List contacts
private List phoneNumbers
this.contacts = ['AJ']
this.phoneNumbers = [9495379373]
this.sendEvent = sendEvent
+ this.timeZone = TimeZone.getTimeZone("America/New_York")
}
//By Model Checker