)]}'
{
  "id": "9fea98c48ea29321b8cafd1648b1b3b2e407de5d",
  "repo": "openjdk/jdk25u",
  "revision": "HEAD",
  "path": "src/java.management/share/classes/javax/management/BadStringOperationException.java"
}