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