BaseX version: 7.7.1

Release date: Sept. 16, 2013