Compile against the devtools annotations to fix docs build. [DO NOT MERGE] am: bcd139401c
am: e1c9aff51b  -s ours

* commit 'e1c9aff51ba377e29a5bf16c57bfa74f3e0b2588':
  Compile against the devtools annotations to fix docs build. [DO NOT MERGE]