cvsdist a8926f
--- extras/antlr-jedit.xml~	2003-03-01 23:28:04.000000000 +0200
cvsdist a8926f
+++ extras/antlr-jedit.xml	2003-03-01 23:38:17.000000000 +0200
cvsdist a8926f
@@ -16,9 +16,6 @@
cvsdist a8926f
 	</PROPS>
cvsdist a8926f
    
cvsdist a8926f
    <RULES DEFAULT="KEYWORD1">
cvsdist a8926f
-		
cvsdist a8926f
-		<WHITESPACE> </WHITESPACE>
cvsdist a8926f
-		<WHITESPACE>	</WHITESPACE>
cvsdist a8926f
 
cvsdist a8926f
       
cvsdist a8926f
       
cvsdist a8926f
@@ -97,9 +94,7 @@
cvsdist a8926f
    </RULES>
cvsdist a8926f
    
cvsdist a8926f
    <RULES DEFAULT="KEYWORD2" SET="PRODUCTION">
cvsdist a8926f
-		
cvsdist a8926f
-		<WHITESPACE> </WHITESPACE>
cvsdist a8926f
-		<WHITESPACE>	</WHITESPACE>
cvsdist a8926f
+
cvsdist a8926f
 		
cvsdist a8926f
 		<SEQ TYPE="COMMENT1">/**/</SEQ>
cvsdist a8926f
 
cvsdist a8926f
@@ -149,9 +144,6 @@
cvsdist a8926f
    </RULES>
cvsdist a8926f
 
cvsdist a8926f
    <RULES SET="KEYVALUE">
cvsdist a8926f
-		
cvsdist a8926f
-		<WHITESPACE> </WHITESPACE>
cvsdist a8926f
-		<WHITESPACE>	</WHITESPACE>
cvsdist a8926f
       
cvsdist a8926f
       <SEQ TYPE="KEYWORD1">{</SEQ>
cvsdist a8926f