BaseX version: 7.1.1

Release date: Feb. 19, 2012