)]}'
{
  "id": "875a428663fc68816459aebe9f66ed9817c09f3b",
  "repo": "servertools/webtools.servertools",
  "revision": "48e4e3dc3913e5ff5b0ba2a76dbb6ecec2bf48de",
  "path": "plugins/org.eclipse.jst.server.ui/.settings/org.eclipse.jdt.ui.prefs"
}