BaseX version: 9.0.2

Release date: May 31, 2018