)]}' { "id": "7397758e9f8316d8d4703db85fffd7b1cf909932", "repo": "plugins/reparent", "revision": "refs/heads/stable-2.13", "path": ".settings/org.eclipse.jdt.ui.prefs" }