/guava/guava/src/com/google/common/collect/Sets.java
return 1;
return set;
} return false; } public static <E extends @Nullable Object> NavigableSet<E> unmodifiableNavigableSet( NavigableSet<E> set) { if (set instanceof ImmutableCollection || set instanceof UnmodifiableNavigableSet) { <extra_id_0> } return new UnmodifiableNavigableSet<E>(set); } static final class UnmodifiableNavigableSet<E extends @Nullable Object> extends ForwardingSortedSet<E> implements NavigableSet<E>, Serializable { private final NavigableSet<E> delegate;