)]}' { "id": "4ed16cfd5ab9c319e127353e074ea81a7cff7d45", "repo": "plugins/examples", "revision": "eee79c0c74cb6d408560b659e322c471be2a5c00", "path": "example-wuiChangeScreenHeaderRightOfButtons-GWT/.bazelrc" }