)]}' { "id": "ee4416fd490b3ae61104f3435f2b44dacca92faa", "repo": "platform/eclipse.platform", "revision": "7954ed9ff1cd8623303cfc5c4bc6ce42d0e4d4ba", "path": "ant/org.eclipse.ant.ui/.settings/org.eclipse.pde.core.prefs" }