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