Fix some obsolete javadocs