)]}' { "id": "7397758e9f8316d8d4703db85fffd7b1cf909932", "repo": "plugins/its-base", "revision": "8323c929f9e5133261186a5b1883444edc630ddc", "path": ".settings/org.eclipse.jdt.ui.prefs" }