Now actually make a strategoxt.jar