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