{stdenv, fetchurl}:

fetchurl {
  url = http://www.ii.uib.no/~karltk/spoofax/plugins/org.spoofax.editor_0.3.11.jar;
  md5 = "c36941afcb0e538e16fafd594eae128e";
}