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

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