diff -r 8290dc6c8d7f -r b655d2d0406d src/Tools/jEdit/patches/jedit/memory
--- a/src/Tools/jEdit/patches/jedit/memory	Sat Dec 01 17:23:50 2012 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,12 +0,0 @@
-diff -ru jEdit/org/gjt/sp/jedit/gui/statusbar/MemoryStatusWidgetFactory.java jEdit-patched/org/gjt/sp/jedit/gui/statusbar/MemoryStatusWidgetFactory.java
---- jEdit/org/gjt/sp/jedit/gui/statusbar/MemoryStatusWidgetFactory.java	2012-06-15 22:20:10.000000000 +0200
-+++ jEdit-patched/org/gjt/sp/jedit/gui/statusbar/MemoryStatusWidgetFactory.java	2012-08-13 19:11:51.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;