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