Translations for javadoc.