1.1 --- a/src/Tools/jEdit/README_BUILD	Wed Apr 14 22:13:28 2010 +0200
     1.2 +++ b/src/Tools/jEdit/README_BUILD	Wed Apr 14 22:18:10 2010 +0200
     1.3 @@ -15,9 +15,6 @@
     1.4  
     1.5  * jEdit 4.3.1 (final)
     1.6    http://www.jedit.org/
     1.7 -
     1.8 -  
     1.9 -
    1.10    Netbeans Project "jEdit": install official sources as ./contrib/jEdit/.
    1.11  
    1.12  * jEdit plugins: