Merge branch 'master' of https://gitlab.telecom-paristech.fr/mbe-tools/TTool

.idea/misc.xml

Makefile

build.txt

src/main/java/ui/MainGUI.java

src/main/java/ui/util/DefaultText.java

ttool/src/test/java/test/AbstractTest.java

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