)]}'
{
  "id": "c39847efc0b592171146db49d2510551f3da5434",
  "repo": "servertools/webtools.servertools",
  "revision": "14f97eecdca6d115ffbb8b752aba3bb1a3c044f5",
  "path": "plugins/org.eclipse.jst.server.preview.adapter/.settings/org.eclipse.jdt.ui.prefs"
}