Update Javadoc for PR #1124