)]}'
{
  "id": "53fc91874ab3d31ac59a3f2ea18ca77fe1601eb7",
  "repo": "gwt",
  "revision": "d1e6e521e9aec8583d3c2ce82b3f8014374e8a39",
  "path": "eclipse/servlet/.settings/org.eclipse.jdt.ui.prefs"
}