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
Merge pull request #257 from dizzzz/develop

Improve measuring minFreeDiskSpace code