Interval: remove obsolete javadoc refs