BaseX version: 7.7.2

Release date: Oct. 7, 2013