Compile against the devtools annotations to fix docs build. [DO NOT MERGE] am: 83533c5f87 am: 5e5b10e86e am: 508d76f134  -s ours am: a3d8dc6de9
am: 0d27a29d73  -s ours

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