org.apache.tomcat.jdbc.pool.DataSource pooledDataSource = new org.apache.tomcat.jdbc.pool.DataSource();
pooledDataSource.setPoolProperties(p);
databaseStatistics.register(key, pooledDataSource,
new TomcatJdbcPoolMetricsReporter(databaseStatistics.getMetricKey(key), pooledDataSource));
return pooledDataSource;
}