)]}' { "id": "7397758e9f8316d8d4703db85fffd7b1cf909932", "repo": "plugins/labelui", "revision": "daed7f051e7646fade61bf2f1223f4d85e81ebc3", "path": ".settings/org.eclipse.jdt.ui.prefs" }