Many bugs resolved!

src/translator/ADChoice.java

src/translator/ActivityDiagram.java

src/translator/TClass.java

src/translator/TURTLEModeling.java

src/translator/TURTLETranslator.java

src/translator/touppaal/RelationTIFUPPAAL.java

src/translator/touppaal/TURTLE2UPPAAL.java

src/ui/CorrespondanceTGElement.java

src/ui/DesignPanelTranslator.java

src/ui/GTURTLEModeling.java

src/ui/MainGUI.java

src/ui/TDiagramPanel.java

src/ui/ad/TActivityDiagramToolBar.java

src/ui/cd/TClassDiagramToolBar.java

src/ui/dd/TDeploymentDiagramToolBar.java

src/ui/iod/InteractionOverviewDiagramToolBar.java

src/ui/ncdd/NCDiagramToolBar.java

src/ui/osad/TURTLEOSActivityDiagramToolBar.java

src/ui/oscd/TURTLEOSClassDiagramToolBar.java

src/ui/procsd/ProactiveCSDToolBar.java