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