update Javadocs for 3.1.2