java-json-tools jackson-coreutils JacksonUtils.java BigDecimal.toPlainString resource consumption (CVE-2026-86511) | HOL Guard CVE