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