Package jflex.logging