Summary of changes: bbaf822... Update to latest upstream release. (*) ccadbd6... Run jflex manually before Maven build is started (*) (*) This commit already existed in another branch; no separate mail sent