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