)]}' { "id": "42536ddc86fd19c42845560d8bd5d41a8ba888f1", "repo": "jsf/webtools.jsf", "revision": "c5508b2c0f682bd88e2de65cba9ca7ad321b0844", "path": "jsf/plugins/org.eclipse.jst.jsf.facelet.ui/.settings/org.eclipse.jdt.core.prefs" }