)]}' { "id": "d4218a5fc0249b933b57211097e7aa15ff9e8caa", "repo": "plugins/x-docs", "revision": "a47b4afc5b40c1b4aaa0278f21d3cb3666a2280d", "path": ".settings/org.eclipse.jdt.ui.prefs" }