BaseX version: 8.0.3

Release date: March 19, 2015