* 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.