Issue #35: Problem in parsing verification results for different

src/main/java/common/ConfigurationTTool.java

src/main/java/launcher/ExecutionThread.java

src/main/java/myutil/ScrolledJTextArea.java

src/main/java/ui/TGUIAction.java

src/main/java/ui/window/JDialogUPPAALValidation.java

ttool/launch_configurations/config.xml