)]}' { "id": "6e80039d3b822e65e46fbf18906ef652814e9505", "repo": "osbp/org.eclipse.osbp.vaadin.widgetset", "revision": "c0616381ae25d889cc6dbb264070a088a16d38fe", "path": "org.eclipse.osbp.themes/.settings/org.eclipse.jdt.core.prefs" }