JFlex license change