[("init","condInit1",[("Exps",[["(","Emth","(","Mmth","[","Ident","\"Edit\"",",","Ident","\"setEnabled\"","]","(","Args","[","Econst","Etrue","]",")",")",")"]],1142,1162,[(8594,8692),(8652,8687),(54,66)]),("Exps",[["(","Emth","(","Mmth","[","Ident","\"Remove\"",",","Ident","\"setEnabled\"","]","(","Args","[","Econst","Etrue","]",")",")",")"]],1167,1187,[(8594,8692),(8652,8687),(54,66)]),("Exps",[["(","Emth","(","Mmth1","(","CNPfld","(","Ffvar1","(","Anewclass","(","ClassType","[","Ident","\"ContactEditor\"","]",")","(","Args","[","]",")",")","(","Ident","\"setVisible\"",")",")",")","(","Args","[","Econst","Etrue","]",")",")",")"]],8650,8688,[(8594,8692)]),("Exps",[["(","Eassign","(","Evar","[","Ident","\"Add\"","]",")","Assign","(","Enewalloc","(","Anewclass","(","ClassType","[","Ident","\"javax\"",",","Ident","\"swing\"",",","Ident","\"JButton\"","]",")","(","Args","[","]",")",")",")",")"]],705,740,[(8594,8692),(8652,8687),(54,66)]),("Exps",[["(","Eassign","(","Evar","[","Ident","\"Edit\"","]",")","Assign","(","Enewalloc","(","Anewclass","(","ClassType","[","Ident","\"javax\"",",","Ident","\"swing\"",",","Ident","\"JButton\"","]",")","(","Args","[","]",")",")",")",")"]],745,780,[(8594,8692),(8652,8687),(54,66)]),("Exps",[["(","Eassign","(","Evar","[","Ident","\"Remove\"","]",")","Assign","(","Enewalloc","(","Anewclass","(","ClassType","[","Ident","\"javax\"",",","Ident","\"swing\"",",","Ident","\"JButton\"","]",")","(","Args","[","]",")",")",")",")"]],785,820,[(8594,8692),(8652,8687),(54,66)]),("Exps",[["(","Eassign","(","Evar","[","Ident","\"Cancel\"","]",")","Assign","(","Enewalloc","(","Anewclass","(","ClassType","[","Ident","\"javax\"",",","Ident","\"swing\"",",","Ident","\"JButton\"","]",")","(","Args","[","]",")",")",")",")"]],1025,1060,[(8594,8692),(8652,8687),(54,66)]),("Exps",[["(","Eassign","(","Evar","[","Ident","\"Ok\"","]",")","Assign","(","Enewalloc","(","Anewclass","(","ClassType","[","Ident","\"javax\"",",","Ident","\"swing\"",",","Ident","\"JButton\"","]",")","(","Args","[","]",")",")",")",")"]],1065,1100,[(8594,8692),(8652,8687),(54,66)]),("Exps",[["(","Emth","(","Mmth","[","Ident","\"Add\"",",","Ident","\"setEnabled\"","]","(","Args","[","Econst","Etrue","]",")",")",")"]],1105,1125,[(8594,8692),(8652,8687),(54,66)])]),("init","condInit2",[("Exps",[["(","Emth","(","Mmth","[","Ident","\"Edit\"",",","Ident","\"setEnabled\"","]","(","Args","[","Econst","Efalse","]",")",")",")"]],1198,1218,[(8594,8692),(8652,8687),(54,66)]),("Exps",[["(","Emth","(","Mmth","[","Ident","\"Remove\"",",","Ident","\"setEnabled\"","]","(","Args","[","Econst","Efalse","]",")",")",")"]],1223,1243,[(8594,8692),(8652,8687),(54,66)]),("Exps",[["(","Emth","(","Mmth1","(","CNPfld","(","Ffvar1","(","Anewclass","(","ClassType","[","Ident","\"ContactEditor\"","]",")","(","Args","[","]",")",")","(","Ident","\"setVisible\"",")",")",")","(","Args","[","Econst","Etrue","]",")",")",")"]],8650,8688,[(8594,8692)]),("Exps",[["(","Eassign","(","Evar","[","Ident","\"Add\"","]",")","Assign","(","Enewalloc","(","Anewclass","(","ClassType","[","Ident","\"javax\"",",","Ident","\"swing\"",",","Ident","\"JButton\"","]",")","(","Args","[","]",")",")",")",")"]],705,740,[(8594,8692),(8652,8687),(54,66)]),("Exps",[["(","Eassign","(","Evar","[","Ident","\"Edit\"","]",")","Assign","(","Enewalloc","(","Anewclass","(","ClassType","[","Ident","\"javax\"",",","Ident","\"swing\"",",","Ident","\"JButton\"","]",")","(","Args","[","]",")",")",")",")"]],745,780,[(8594,8692),(8652,8687),(54,66)]),("Exps",[["(","Eassign","(","Evar","[","Ident","\"Remove\"","]",")","Assign","(","Enewalloc","(","Anewclass","(","ClassType","[","Ident","\"javax\"",",","Ident","\"swing\"",",","Ident","\"JButton\"","]",")","(","Args","[","]",")",")",")",")"]],785,820,[(8594,8692),(8652,8687),(54,66)]),("Exps",[["(","Eassign","(","Evar","[","Ident","\"Cancel\"","]",")","Assign","(","Enewalloc","(","Anewclass","(","ClassType","[","Ident","\"javax\"",",","Ident","\"swing\"",",","Ident","\"JButton\"","]",")","(","Args","[","]",")",")",")",")"]],1025,1060,[(8594,8692),(8652,8687),(54,66)]),("Exps",[["(","Eassign","(","Evar","[","Ident","\"Ok\"","]",")","Assign","(","Enewalloc","(","Anewclass","(","ClassType","[","Ident","\"javax\"",",","Ident","\"swing\"",",","Ident","\"JButton\"","]",")","(","Args","[","]",")",")",")",")"]],1065,1100,[(8594,8692),(8652,8687),(54,66)]),("Exps",[["(","Emth","(","Mmth","[","Ident","\"Add\"",",","Ident","\"setEnabled\"","]","(","Args","[","Econst","Etrue","]",")",")",")"]],1105,1125,[(8594,8692),(8652,8687),(54,66)])])]