Add Java implementation of text-properties
Fix WebStats comparator for equal values
Merge branch 'master' of github.com:dspinellis/sgsh