An SQL connection pooling library for Java