JavE's (http://jave.de) converter was quite good with a bunch of options. But I haven't used any of those things in ... ages by now, so no idea what's the current state of the art.