Problem solved! I wrongfully assumed that apt would store debian packages with the canonical filename in apt-archives - but the "%3a" should indeed be transformed into ":" before putting stuff online - so the problem had nothing to do with tomcat. Thanks for all pointers!
-- With Kind Regards / Mit freundlichem Gruß Holger Klawitter (listen <at> klawitter <dot> de) --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]