refactoring VirtuosoDatasourceProvdier to create new connection pool rather than performing JNDI lookup and overwriting
Merge branch 'master' into no-jndi
adding new jndi-free implementations of datasource provider
renaming classes to preserve backwards compatibility
Merge branch 'master' into no-jndi-merge
merge no jndi implementation, fixed IE11 issue in explorer
fixed js to add inference flag to next/prev links