[java-sig-commits] [Bug 1807472] jflex-1.8.2 is available