OSS-Fuzz report: https://bugs.chromium.org/p/oss-fuzz/issues/detail?id=380409697
Crash type: Security exception
Crash state:
org.checkerframework.checker.formatter.util.FormatUtil.formatParameterCategories
UtilCheckerFuzzer.fuzzChecker
UtilCheckerFuzzer.fuzzerTestOneInput