Update on reachability/liveness management

src/ui/ColorManager.java

src/ui/GTURTLEModeling.java

src/ui/TDiagramPanel.java

src/ui/TGComponent.java

src/ui/window/JDialogUPPAALValidation.java