OSS-Fuzz report: https://bugs.chromium.org/p/oss-fuzz/issues/detail?id=69587
Crash type: Security exception Crash state: jflex.core.NFA.insertNFA jflex.core.unicode.IntCharSet.indexOf jflex.core.unicode.IntCharSet.contains
{ "severity": "LOW" }