)]}'
{
  "id": "279d6ca751fcce2cf7123de7f5a3e03b75f9bdeb",
  "repo": "gcc",
  "revision": "f4972b33b84a5f6cc30334bd87ee499a3ce0a9ac",
  "path": "libjava/classpath/lib/javax/swing/JSpinner$NumberEditorFormatter.class"
}