Fork of JFlex (https://github.com/jflex-de/jflex) used in Consulo - View it on GitHub