)]}' { "id": "d4218a5fc0249b933b57211097e7aa15ff9e8caa", "repo": "gerrit", "revision": "74aaa1ac99660a14e6f61d93f66395361f993271", "path": "gerrit-gwtui/.settings/org.eclipse.jdt.ui.prefs" }