)]}'
{
  "id": "d88b03b3862e7d090c769d9f03b53497fca677ce",
  "repo": "servertools/webtools.servertools",
  "revision": "0899160e2e43ec92f136dbd56e508a5b123e37fe",
  "path": "plugins/org.eclipse.jst.server.tomcat.ui/.options"
}