Rename Mario.morto to MarioMorto.java