Update contracts; update javadoc