Old jflex library which was used before JFlex fork (from IDEA sources) - View it on GitHub