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

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