)]}'
{
  "id": "5c85903d1b0a82962d4f855d279ca585c5dbc072",
  "repo": "java-prettify",
  "revision": "dd95fa9fbd9da7892973459f485ef9a059b123e8",
  "path": "src/prettify/Theme.java"
}