added MiniC.java