args:
args.stdenv.mkDerivation {
  name = "jedit-4.2";

  src = args.fetchurl {
    url = http://kent.dl.sourceforge.net/sourceforge/jedit/jedit42source.tar.gz;
    sha256 = "1ckqghsw2r30kfkqfgjl4k47gdwpz8c1h85haw0y0ymq4rqh798j";
  };

  phases = "unpackPhase buildPhase";

  buildPhase = "
     sed -i 's/\\<SplashScreen\\>/org.gjt.sp.jedit.gui.SplashScreen/g' org/gjt/sp/jedit/GUIUtilities.java
    ant dist
    ensureDir $out/lib
    cp jedit.jar $out/lib
    ensureDir \$out/lib/modes
    cp modes/catalog \$out/lib/modes
  ";

  buildInputs =(with args; [ant]);

  meta = { 
      description = "really nice programmers editor written in Java. Give it a try";
      homepage = http://sourceforge.net/project/showfiles.php?group_id=588;
      license = "GPL";
  };
}