Thanks for the pointers. When we looked at the problem ourselves (rather
than the report from the reviewer), we saw that the standard Java converter
did actually preserve the hankaku characters, but these other tools may well
come in handy.