SMall change to make free-diskspace check consistent: two calls can return two different values
Merge branch 'develop' of github.com:eXist-db/exist into develop