Javadoc in Auxiliary Left