On Tue, 02 Sep 2003 19:47:29 +0200 "Guilhem Lavaux" <guilhem at kaffe.org> wrote: > Nope, easy to fix. I've just checked the correction I think. Thanks for > the report. Thanks! Jetty works again. :-) Cheers, - Jim