diff -r f0592485b7fb -r 16d4213d4cbc src/Tools/jEdit/src/jEdit.props
--- a/src/Tools/jEdit/src/jEdit.props	Mon Apr 07 13:55:12 2014 +0200
+++ b/src/Tools/jEdit/src/jEdit.props	Mon Apr 07 16:37:57 2014 +0200
@@ -227,8 +227,6 @@
 logo.icon.medium=32x32/apps/isabelle.gif
 lookAndFeel=javax.swing.plaf.nimbus.NimbusLookAndFeel
 match-bracket.shortcut2=C+9
-navigator.back.shortcut=A+LEFT
-navigator.forward.shortcut=A+RIGHT
 navigator.showOnToolbar=true
 next-bracket.shortcut2=C+e C+9
 plugin-blacklist.MacOSX.jar=true