Generating Jimple code