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