consistency
make salt permanent in case of config change
remove all unused precisionlimit related code from java
pass global options as corpus settings with getters/setters