)]}' { "id": "2a585e4257bed78280e7721e6a8003d2494dd22b", "repo": "plugins/x-docs", "revision": "b7b25bb4a88ff2da88596c60d3c819d27693c6d8", "path": ".settings/org.eclipse.jdt.core.prefs" }