A slightly modified version of the Apache JDBC Pool library for creating a JDBC connection pool for a database server