Same comment as for KoreParser.java