BaseX version: 7.0

Release date: Oct. 20, 2011