BaseX version: 7.9

Release date: June 27, 2014