Add support for JDBC 4.1 (Java 7) to the JDBC API.