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
fixed poetntial race condition in explorer code when using shared connection pools
Merge branch 'master' of https://github.com/simonjupp/lodestar
Merge pull request #6 from HHS/meshrdf-david

Meshrdf david
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
[maven-release-plugin] prepare release ebi-lode-1.3
[maven-release-plugin] prepare for next development iteration
[maven-release-plugin] rollback the release of ebi-lode-1.3
[maven-release-plugin] prepare release ebi-lode-1.3
[maven-release-plugin] prepare for next development iteration
updated readme for 1.3 release notes
updated readme for 1.3 release notes
Merge remote branch 'ebispot/master' into meshrdf-klortho

Conflicts:
	web-ui/src/main/webapp/WEB-INF/ebi-lode-service.xml
	web-ui/src/main/webapp/explore.html
	web-ui/src/main/webapp/scripts/lode.js
Trying to fix the build
Merge branch 'meshrdf' into meshrdf-klortho