Merge project manager

src/main/java/dseengine/DSEConfiguration.java

src/main/java/ui/TGUIAction.java

ttool/src/test/java/launcher/TestRshClient.java

ttool/src/test/java/ui/TestGTURTLEModeling.java