Update knopflerfish due to problems with Java 1.8 on MacOS
remove unused arguments from launcher
build4mac : copy 2 jars
Mac launch configurations
Fix bug leading to map get unsaved status after loading
After editing node text was canceled by escape the editing pane becomes
not showing but it still has focus. In such cases UITools.isEditingText
should return false so that undo is not blocked and escape can cancel
insertion of the new node using undo
Merge branch '1.3.x' into 1.4.x