)]}'
{
  "id": "c21b754e22d2c703a5999bb4fd2a9e67b8e14229",
  "repo": "servertools/webtools.servertools",
  "revision": "aaa5599ee142237cd2e8de235bd3cc9a8d024a13",
  "path": "plugins/org.eclipse.wst.server.discovery/.settings/org.eclipse.jdt.ui.prefs"
}