jflex and cup