BaseX version: 7.2

Release date: March 24, 2012