BaseX version: 7.0.1

Release date: Oct. 23, 2011