--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/components/antlr/patches/antlr-jedit.patch Tue Oct 30 06:55:04 2012 -0700
@@ -0,0 +1,33 @@
+--- extras/antlr-jedit.xml~ 2003-03-01 23:28:04.000000000 +0200
++++ extras/antlr-jedit.xml 2003-03-01 23:38:17.000000000 +0200
+@@ -16,9 +16,6 @@
+ </PROPS>
+
+ <RULES DEFAULT="KEYWORD1">
+- <!-- whitespace: (space and tab) -->
+- <WHITESPACE> </WHITESPACE>
+- <WHITESPACE> </WHITESPACE>
+
+ <!-- antlr specific rules -->
+ <SPAN DELEGATE="java::MAIN" TYPE="KEYWORD1">
+@@ -97,9 +94,7 @@
+ </RULES>
+
+ <RULES DEFAULT="KEYWORD2" SET="PRODUCTION">
+- <!-- whitespace: (space and tab) -->
+- <WHITESPACE> </WHITESPACE>
+- <WHITESPACE> </WHITESPACE>
++
+ <!-- Silly comment -->
+ <SEQ TYPE="COMMENT1">/**/</SEQ>
+
+@@ -149,9 +144,6 @@
+ </RULES>
+
+ <RULES SET="KEYVALUE">
+- <!-- whitespace: (space and tab) -->
+- <WHITESPACE> </WHITESPACE>
+- <WHITESPACE> </WHITESPACE>
+
+ <SEQ TYPE="KEYWORD1">{</SEQ>
+