[SCM] tomcat7: Servlet and JSP engine branch, master, updated. debian/7.0.40-2-9-g376093b

[Gianfranco Costamagna]

The following commit has been merged in the master branch:
commit e187e597b0be9b0abfd968eb390b1b59bff34076
Merge: c8e89b68f942f9a8cc2cd1a3bcd76605712bd3fe ac3fbd2f2a64f59d623368aa220be849cf8ab2b4
Author: Gianfranco Costamagna <costamagnagianfranco at yahoo.it>
Date:   Tue Jul 16 17:34:51 2013 +0200

    Merge tag 'upstream/7.0.42'
    
    Upstream version 7.0.42


-- 
tomcat7: Servlet and JSP engine