)]}'
{
  "id": "13e7e3208667bdd1bd8d4fe246dce20c27312c87",
  "repo": "servertools/webtools.servertools",
  "revision": "1404a89ccb07481aa93c76e76631e7c5f693ab66",
  "path": "docs/org.eclipse.wst.server.ui.doc.user/topics/twlaunchpref.html"
}