{stdenv, fetchurl}:

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