try to force abort
Merge branch 'sharding' of github.com:triAGENS/ArangoDB into sharding