Fix dumb bug in java proxy generator.
Fiddling with types