)]}'
{
  "id": "c2ff95460b297e7790571944807585d4e68f98f6",
  "repo": "plugins/examples",
  "revision": "6a802cfc842526049cbb34f4f26304d184c5b0ea",
  "path": "example-wuiChangeScreenHeaderRightOfButtons-GWT/WORKSPACE"
}
