deleted everything relating to jflex and cup