Update MarioCodeView.java