Merge branch 'fix_issues' into 'master'

...in/java/tmltranslator/modelcompiler/TMLModelCompiler.java

src/main/java/ui/ActionPerformer.java

src/main/java/ui/GTURTLEModeling.java

src/main/java/ui/JToolBarMainTurtle.java

src/main/java/ui/MainGUI.java

src/main/java/ui/ModeManager.java

src/main/java/ui/PanelKeyListener.java

src/main/java/ui/TGUIAction.java

src/main/java/ui/util/IconManager.java

...urces/ui/util/toolbarButtonGraphics/navigation/Left16.gif

...rces/ui/util/toolbarButtonGraphics/navigation/Right16.gif

...ources/ui/util/toolbarButtonGraphics/navigation/navig.gif