anchor.diff:      chmod +x $out/bin/jedit
     '';
   
  -  buildInputs = [ ant ];
  -
  -  meta = { 
  +  meta = {
       description = "Mature programmer's text editor (Java based)";
       homepage = http://www.jedit.org;
       license = "GPL";
  
positive.code:     cp -r macros/* $out/share/jEdit/macros
      mkdir -p $out/share/jEdit/doc
      cp -r doc/* $out/share/jEdit/doc
      
      sed -i "s|Icon=.*|Icon=$out/share/jEdit/icons/jedit-icon48.png|g" package-files/linux/deb/jedit.desktop
      mkdir -p $out/share/applications
      mv package-files/linux/deb/jedit.desktop $out/share/applications/jedit.desktop
  
negative.code:     patch package-files/linux/jedit << EOF
      5a6,8
      > # specify the correct JAVA_HOME
      > JAVA_HOME=${jdk.jre}/lib/openjdk/jre
      > 
      EOF
      sed -i "s|/usr/share/jEdit/@jar.filename@|$out/share/jEdit/jedit.jar|g" package-files/linux/jedit
  