Merry Christmas! Permanently deleted user Created January 07, 2004 16:14 .... for all who celebrate Christmas today (and I guess quite a few of theJetBrainers do).All the best,Andrei
See also j.t.community forum.
--
Lars Köhler