Package JFlex.tests