)]}' { "id": "9d423fe972dcb435b3125d1b71c0274ee4245770", "repo": "platform/eclipse.platform.swt", "revision": "806ef4068fb22f543ce61b8bbdafadad920b5e13", "path": "bundles/org.eclipse.swt.tools.spies/.settings/org.eclipse.jdt.ui.prefs" }