Package JFlex.gui