)]}' { "id": "8d8bb952823a2b4aa1eea817ad7b19e1643e6c83", "repo": "servertools/webtools.servertools", "revision": "7f0ab45f138810f29d8af58f0ffb8ba90fb80b57", "path": "plugins/org.eclipse.jst.server.ui/.settings/org.eclipse.pde.prefs" }