javadocs for 1.2