)]}' { "id": "832eb5772cb01af9333cf8c5ca392f344109d719", "repo": "gwtorm", "revision": "refs/tags/v1.18", "path": ".settings/org.eclipse.jdt.ui.prefs" }