Reference Guide talks about a DriverManager method which does not exist.

The section titled "java.sql.Driver interface" in the Reference Guide mentions the DriverManager.unload() method. There is no such method. I believe that DriverManager.deregisterDriver() is intended.