Delete java12.cup