)]}'
{
  "id": "cb6115b146b6599ca6d0f6d8ea0fe920ee7f339b",
  "repo": "servertools/webtools.servertools",
  "revision": "3234d0b708bf322f451ff0821e88e949533f4c0e",
  "path": "docs/org.eclipse.jst.server.ui.doc.user/tomcat_pref.ditamap"
}