)]}' { "id": "40e022d75ba05598a85fe6496a0202b65a33abb7", "repo": "plugins/high-availability", "revision": "dfeee1fbb43dd2d2f3df10837b5be6962472b99b", "path": ".settings/org.eclipse.jdt.core.prefs" }