documentation updates, javadoc generation