version and javadoc fixes