Fix Javadoc problem caused by the renaming