der Fehler ist entlarvt und behoben. Wir werden heute Mittag einen neuen Snapshot im Repository bereitstellen [1], der die Korrektur enthaelt.
[1] http://files.basex.org/releases/latest/ [2] https://github.com/BaseXdb/basex
..der neue Snapshot ist online und kann bedenkenlos eingesetzt werden; s.a. folgende Adresse, unter der die wichtigsten Download-Adressen zusammengefasst sind.
http://docs.basex.org/wiki/Releases
Zur Hintergrundinformation: der angezeigte Bug Trace war lediglich auf einen Optimierungsfehler zurückzuführen; die Datenbankintegrität war damit somit nicht gefährdet.
Vielen Dank nochmal für die Mitteilung und beste Grüße, Christian Grün