Resolving bug on all reachability

src/main/java/ui/GTURTLEModeling.java

src/main/java/ui/MainGUI.java

src/main/java/ui/TDiagramPanel.java

src/main/java/ui/TGComponent.java

src/main/java/ui/window/JDialogUPPAALValidation.java