BaseXdb/basex — pull request #719 by dimitarp (2013-06-27 23:49:40+00:00)
Title: [FIX] Core: call read() instead of next() in BufferInput.readString(), s...

...o that ArrayInput works correctly.