Some javadock stuff