)]}'
{
  "id": "607c9d4fe158a8c9013d1bf58eba7a63f921b98d",
  "repo": "gcc",
  "revision": "7a3af1a36b1965ae3d60e1f397a0d3ca17619d43",
  "path": "libjava/classpath/lib/javax/swing/JSpinner$NumberEditor.class"
}