CombinedRealInterval: fix javadoc