Delete tiny_gp.java