ImmutableOrdinalSet javadoc refinements