investigate jflex 1.9.x buffer size/expansion feature
Open
good first issue
type:task
- Dominant language
- Java
- Stars
- 3.6k
- Forks
- 1.4k
- Avg merge
- 2d 11h
- Merged PRs (30d)
- 88
Description
### Description
#14583 only bumps the dependency and regenerates, but doesn't take advantage of the new features. I think we are currently taking care of this with skeleton files in `gradle/generation/jflex`. Using the builtin functionality might be cleaner.
Contributor guide
Assessment
This issue has not been assessed yet.