BaseX version: 8.5.1

Release date: July 11, 2016