.named("scriptToUnzipJavaparserZip");
script = script.string("#!/bin/bash\n");
script = script.string("set -eu\n");
script = script.string("DEST=$1\n");
script = script.string("unzip -p '");
script = script.pathTo(javaparserZip());
script = script.string("' javaparser-1.0.5.jar > \"$DEST\"\n");
return script.end();
}