)]}'
{
  "id": "841959ad9938a6e492206bf9fdfeb8d8db0e91cd",
  "repo": "java-prettify",
  "revision": "f4e88fcd03c1bf2cf4913b0c95c76b2eb973b8b2",
  "path": "javadoc/prettify/Theme.html"
}