Rename Pset1Mario.java to Mario.java