Package jflex.core