)]}'
{
  "id": "08a60e5fc3514d06ac49f19e59cfa2f6629f99f3",
  "repo": "servertools/webtools.servertools",
  "revision": "0899160e2e43ec92f136dbd56e508a5b123e37fe",
  "path": "plugins/org.eclipse.jst.server.ui/.settings/org.eclipse.pde.prefs"
}