)]}'
{
  "id": "dbaab9425f9b596bb2bcd551a8561452ed5a6a4f",
  "repo": "gerrit/servertools/webtools.servertools",
  "revision": "14f97eecdca6d115ffbb8b752aba3bb1a3c044f5",
  "path": "plugins/org.eclipse.wst.server.ui/.options"
}