)]}'
{
  "id": "3eb6443187c8fcad0599a56da0f620f4d2568912",
  "repo": "gwt",
  "revision": "ac93b32a35853b8fbfb1533d20e7e1116d6f3d6e",
  "path": "eclipse/dev/linux/.settings/org.eclipse.jdt.ui.prefs"
}