BaseX version: 8.5.4

Release date: Nov. 22, 2016