Merge "Replace some javadoc symbols with HTML encoding" into rvc-dev am: edea65c7 am: 11ba5861 am: 1580e071 am: 02d26f93 Change-Id: I7c0245a6e4c1839377a3ee6fab090091309720d5