pushes fix for lab computers drjava setup