Merge branch 'merge_pm' into 'master'

...ain/java/avatartranslator/toexecutable/AVATAR2CPOSIX.java

src/main/java/avatartranslator/touppaal/AVATAR2UPPAAL.java

src/main/java/common/ConfigurationTTool.java

src/main/java/common/SpecConfigTTool.java

src/main/java/myutil/FileUtils.java

src/main/java/tmltranslator/TMLCPTextSpecification.java

src/main/java/tmltranslator/TMLMappingTextSpecification.java

src/main/java/tmltranslator/TMLTextSpecification.java

src/main/java/tmltranslator/touppaal/TML2UPPAAL.java

src/main/java/translator/touppaal/TURTLE2UPPAAL.java

src/main/java/ui/ActionPerformer.java

src/main/java/ui/DocumentationGenerator.java

src/main/java/ui/GTURTLEModeling.java

src/main/java/ui/JMenuBarTurtle.java

src/main/java/ui/JToolBarMainTurtle.java

src/main/java/ui/MainGUI.java

src/main/java/ui/ModeManager.java

src/main/java/ui/TDiagramMouseManager.java

src/main/java/ui/TGUIAction.java

...y/DiplodocusMethodologyDiagramReferenceToApplication.java