A correct version of the Java grammar