more generous default;

--- a/src/Tools/jEdit/src/jEdit.props	Thu Oct 23 16:25:08 2014 +0200
+++ b/src/Tools/jEdit/src/jEdit.props	Fri Oct 24 11:05:19 2014 +0200
@@ -8,6 +8,7 @@
 buffer.noTabs=true
 buffer.sidekick.keystroke-parse=false
 buffer.tabSize=2
+buffer.undoCount=1000
 close-docking-area.shortcut2=C+e C+CIRCUMFLEX
 complete-word.shortcut=
 console.dock-position=floating