Fix in syntax checker errors display, fix in true false pragma expected value

...in/java/avatartranslator/modelchecker/SafetyProperty.java

...anslator/modelcheckervalidator/ModelCheckerValidator.java

src/main/java/ui/AvatarDesignPanelTranslator.java

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