More Javadoc stuff