)]}' { "id": "d9295f626bbf06133bf94e6aff4e84d70ba077fa", "repo": "platform/sdk", "revision": "7a2519030a1f0ef279cfc0169699a5f3bdc494c1", "path": "apps/DeviceConfig/.settings/org.eclipse.jdt.core.prefs" }