Package JFlex.gui