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