making java 8 javadoc lint happy by escaping “>”