Use openrdf version 2.6.10