Improvements on after-mapping graph manipulation

src/tmltranslator/toturtle/Mapping2TIF.java

src/ui/GTURTLEModeling.java

src/ui/MainGUI.java

src/ui/graph/AUTGraph.java

src/ui/graph/AUTMappingGraph.java

src/ui/window/JDialogGraphModification.java

src/ui/window/JDialogScheduling.java