Changed jflex comment