Various Java i18n tools, including tools for processing the Gettext and Properties formats