)]}'
{
  "id": "a519958cc28f0e08677327866698816caffb9c67",
  "repo": "openjdk/jdk25u",
  "revision": "HEAD",
  "path": "src/java.rmi/share/classes/java/rmi/ServerException.java"
}
