updated to jedit_build-20130905 which is based on jedit-5.1.0;
added jsr305-2.0.0.jar from http://code.google.com/p/findbugs (via ivy cache), which is required to resolve javax.annotation.*;
diff -ru 5.1.0/jEdit/org/gjt/sp/jedit/Debug.java 5.1.0/jEdit-patched/org/gjt/sp/jedit/Debug.java
--- 5.1.0/jEdit/org/gjt/sp/jedit/Debug.java 2013-07-28 19:03:49.000000000 +0200
+++ 5.1.0/jEdit-patched/org/gjt/sp/jedit/Debug.java 2013-09-05 10:55:36.388181955 +0200
@@ -109,7 +109,7 @@
* used to handle a modifier key press in conjunction with an alphabet
* key. <b>On by default on MacOS.</b>
*/
- public static boolean ALTERNATIVE_DISPATCHER = OperatingSystem.isMacOS();
+ public static boolean ALTERNATIVE_DISPATCHER = false;
/**
* If true, A+ shortcuts are disabled. If you use this, you should also