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