Fix rare problem with concurrent load of drivers by DriverManagerDataSource and DriverManager; test tweaks; updated version headers.