fix javadoc
Merge branch 'master' into benchmarks