I've just removed gump.log from ~gump/workspaces/jdk15/workspace/, I think it should start to work again tomorrow.
Stefan --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
