Rival pages: remove old javadoc