)]}'
{
  "id": "295c5ce93142db691a0501f34162c3ece93ddf01",
  "repo": "servertools/webtools.servertools",
  "revision": "48e4e3dc3913e5ff5b0ba2a76dbb6ecec2bf48de",
  "path": "plugins/org.eclipse.wst.server.ui/.options"
}