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