try {
url = file.toURI().toURL();
}
catch (MalformedURLException ex2) {
// Report original failure.
throw new InvalidSQLJJarURLException(schema, object, ex1);
}
if (checkReadable && file.canRead())
checkReadable = false; // Can tell quickly.
}
if (checkReadable) {
InputStream istr = null;
try {
istr = url.openStream(); // Must be able to load it.
}
catch (IOException ex) {
throw new InvalidSQLJJarURLException(schema, object, ex);
}
finally {
if (istr != null) {
try {
istr.close();