BaseX version: 7.3

Release date: June 18, 2012