--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/jEdit/patches/jedit-4.5.1/memory Sat Apr 14 18:28:11 2012 +0200
@@ -0,0 +1,12 @@
+diff -ru 4.5.1/jEdit/org/gjt/sp/jedit/gui/statusbar/MemoryStatusWidgetFactory.java 4.5.1/jEdit-patched/org/gjt/sp/jedit/gui/statusbar/MemoryStatusWidgetFactory.java
+--- 4.5.1/jEdit/org/gjt/sp/jedit/gui/statusbar/MemoryStatusWidgetFactory.java 2012-03-25 18:51:51.000000000 +0200
++++ 4.5.1/jEdit-patched/org/gjt/sp/jedit/gui/statusbar/MemoryStatusWidgetFactory.java 2012-04-14 17:47:32.000000000 +0200
+@@ -222,7 +222,7 @@
+ } //}}}
+
+ //{{{ Private members
+- private static final String memoryTestStr = "999/999Mb";
++ private static final String memoryTestStr = "9999/9999Mb";
+
+ private final LineMetrics lm;
+ private final Color progressForeground;