)]}' { "id": "5a0ad22d2a76684139fad95f6b8d209c7cd0d078", "repo": "platform/eclipse.platform.releng.buildtools", "revision": "7242f99a848e57c67bbbbad854a2a8de07ff4b8a", "path": ".settings/org.eclipse.core.runtime.prefs" }