args: with args; fetchurl { 
  url = http://mawercer.de/~nix/repos/hsjava.tar.gz;
  sha256 = "952839e53f63fc43c7c8a760bab97d150c504e148ebdd407be5e642661ed048f";}