I have realized that there is something wrong when Axis generated the Java files. In particular, the following doesn't quite work:
Hmm, I tried the newest Axis 1.2 alpha and this seems to be fixed. Oh well, anybody knows when Axis 1.2 is going to come out of alpha stage?
Will