BaseX version: 8.6.4

Release date: May 18, 2017