)]}' { "id": "cba5ccbb3c25a70a5bf46c6ce7cb0ae7dc1b0441", "repo": "servertools/webtools.servertools", "revision": "bb2c8909c34bc6e582f510271a2a673e188c5dff", "path": "plugins/org.eclipse.wst.server.http.ui/.settings/org.eclipse.jdt.core.prefs" }