fix de comments en jflex