)]}' { "id": "1b6e1ef22f911f3e27b68521135ebb196bce5ec4", "repo": "plugins/events", "revision": "d4cf37303387480e8b8985d2f260af15bb040964", "path": ".settings/org.eclipse.jdt.core.prefs" }