)]}'
{
  "id": "8d9548d19e54ab09ab1e3085a7ae2b70819ba490",
  "repo": "openjdk/jdk25u",
  "revision": "HEAD",
  "path": "src/java.desktop/share/classes/javax/swing/RepaintManager.java"
}