templates de JFlex y Cup