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