update javadocs for 3.1.3