1.1 --- a/src/Tools/jEdit/lib/Tools/jedit	Sat Mar 17 16:13:41 2012 +0100
     1.2 +++ b/src/Tools/jEdit/lib/Tools/jedit	Sat Mar 17 17:36:10 2012 +0100
     1.3 @@ -228,7 +228,6 @@
     1.4    cp -p -R -f "${RESOURCES[@]}" dist/classes/.
     1.5    cp src/jEdit.props dist/properties/.
     1.6    cp -p -R -f src/modes/. dist/modes/.
     1.7 -  cp -p -R -f "$SCALA_HOME/misc/scala-tool-support/jedit/modes/scala.xml" dist/modes/.
     1.8  
     1.9    perl -i -e 'while (<>) {
    1.10      if (m/NAME="javacc"/) {