BaseX version: 7.5

Release date: Dec. 21, 2012