An XML internationalization tool