BaseX version: 8.0.1

Release date: Feb. 22, 2015