JFlex: delete our patched 1.4.3 and complete IDEA-143060
[idea/community.git] / tools / lexer / jflex-1.7.0-SNAPSHOT.jar
2016-05-11 Gregory.ShragoJFlex: 1.7.0-SNAPSHOT tweaked for IntelliJ platform