Package jflex.io