--- a/src/Tools/jEdit/patches/jedit-4.5.1/memory Mon Aug 13 20:01:30 2012 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,12 +0,0 @@
-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;