javadoc 1.2.4 updates