Fix all Javadoc problems in Right.java