updating Javadoc for 1.3 release