Added notice about jflex bug fix