fix a multithread bug revealed by owlapitools tests
update version info for 4.0.1
release notes for 4.0.1
V 4.0.1 release
second try at jmh vs maven
Merge branch 'version4_jmh_benchmarks_round_2' into version4_no_java_string_literals

Conflicts:
	benchmarks/pom.xml