{
  "tools": {
    "jdtls": "1.63.0-202610191322",
    "java": "21.0.13.0.2 (Homebrew)"
  },
  "groups": {
    "problems": [
      "L33:error:Type mismatch: cannot convert from String to int"
    ]
  }
}