Delete mario.java