BaseX version: 7.0.2

Release date: Nov. 11, 2011