Latest Virtuoso-JDBC drivers. 4.1 is for Java 7, 4.0 is for Java 6.
Merge latest commits from "virtuoso7" into "master". Refs #18929.
Virtuoso 7 doesn't seem to like ordering by strings larger than 800 chars. Refs #18929.