anchor.diff: -{ stdenv, fetchurl, ant, jre }:
  +{ stdenv, fetchurl, ant, jdk }:
  +
  +let version = "4.4.2"; in
   
   stdenv.mkDerivation {
  -  name = "jedit-4.4.2";
  +  name = "jedit-${version}";
   
     src = fetchurl {
  -    url = mirror://sourceforge/jedit/jedit4.4.2source.tar.bz2;
  +    url = "mirror://sourceforge/jedit/jedit${version}source.tar.bz2";
       sha256 = "5e9ad9c32871b77ef0b9fe46dcfcea57ec52558d36113b7280194a33430b8ceb";
     };
   
  -  setSourceRoot = ''
  -    sourceRoot=jEdit
  -  '';
  +  buildInputs = [ ant jdk ];
   
  -  buildPhase = ''
  -     ant build
  -  '';
  +  sourceRoot = "jEdit";
  +
  +  buildPhase = "ant build";
   
     installPhase = ''
       mkdir -p $out/share/jEdit
  
positive.code:     patch package-files/linux/jedit << EOF
      5a6,8
      > # specify the correct JAVA_HOME
      > JAVA_HOME=${jre}
      > 
      EOF
      sed -i "s|/usr/share/jEdit/@jar.filename@|$out/share/jEdit/jedit.jar|g" package-files/linux/jedit
  
negative.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
  