updated javadoc: