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