Fix version in Javadoc