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