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