)]}'
{
  "id": "c57f1d99d8351e7d0e7fdd33edf5ceab1ef2899a",
  "repo": "java-prettify",
  "revision": "b86f36210cec264bbe84c6467db88ee48f2148b0",
  "path": "src/prettify/theme/ThemeDefault.java"
}