See subject. String.replaceAll() did not exist before JDK 1.4 (line 651, 653) and PrintStream() (line 641) did not support an encoding parameter. For the time being, I'm +1 for fixing this. Any comments?
Bye, Thomas (Once again, sorry, wrong sender address) --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
