I'm somewhat confused because [configuration] was updated recently to depend on the servlet API, and despite the gump descriptor in CVS didn't change in the last 10 month it still build fine and we are not receiving any nag email about a missing dependency.
So, how does it actually work ? :)
Emmanuel Bourg
--------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]