I've discovered the segmentation fault is caused by JDK 1.3.1, most likely. I installed JDK 1.3.0_02 and the problem disappeared. Mark Glass --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
