Unignore jflex.