Upgraded to OpenRDF Sesame version 2.7.12.