I agree with Glenn. I think the allow-Java-encoding-names feature should remain OFF by default.
-- Andy Clark * [EMAIL PROTECTED] --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
