Old name in javadoc