Sehr geehrter Herr Hillert,
der Fehler ist entlarvt und behoben. Wir werden heute Mittag einen neuen Snapshot im Repository bereitstellen [1], der die Korrektur enthaelt.
Falls sie Git benutzen - der aktuelle Repository-Stand reflektiert ebenfalls die Aenderung [2].
Einen schoenen Tag noch, Gruesse, Lukas
[1] http://files.basex.org/releases/latest/ [2] https://github.com/BaseXdb/basex