CI scripts If you are not a JFlex developer, you don't need to look into this directory. Various scripts used by the Continuous Integration; and Travis in particular developers.