)]}'
{
  "id": "a747d697c53a2d78c5023a77fe028c5829f3b78d",
  "repo": "servertools/webtools.servertools",
  "revision": "b1a2e4e481d39141d07c200525f8616c16bdd389",
  "path": "plugins/org.eclipse.jst.server.ui/.options"
}