Bryce McKinlay writes: > in most cases we're just overriding the type information that it > sets with the Java-mandated ones. That's true. > Here's the simpler patch which I'm checking now. I'm going to check > it in under obvious fix. OK then. Thanks. ./A