Fix javadoc problem (there are a lot more, see separate issue). We need some cleanup after removing all deprecated APIs!