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