* Merge from Debian experimental, remaining changes: + Enabled Tomcat jdbc-pool module, aligning more closely to upstream and providing improved multi-threaded performance over commons-dbcp: - d/rules,d/libtomcat7-java.poms: Install tomcat-dbcp.jar file. - d/patches/0005-change-default-DBCP-factory-class.patch: Drop patch which switches the default DBCP factory to commons-dbcp. - d/p/0015-use-jdbc-pool-default.patch: Make jdbc-pool module the default pool implementation for DataSources. - d/NEWS: let users know about this change. * Dropped changes, included in Debian: - d/p/0014-fix-override.patch: Fix FTBFS due to differing dependency versions compared to upstream.