)]}' { "id": "0285a1bc2e2f99c4140f2791781ee8e86a88ed6f", "repo": "plugins/labelui", "revision": "f87af09ece28cd72bb700da5cec6d28e480ad93a", "path": ".settings/org.eclipse.core.resources.prefs" }