)]}'
{
  "id": "c9a16c3757fcf8e4798f32f62b1cd52e3c9d8bf8",
  "repo": "java-prettify",
  "revision": "e5d35fb96d699018c51f0cf1c16772804426f5bc",
  "path": "src/prettify/lang/LangTex.java"
}