jdk/src/share/classes/java/util/Collections.java
changeset 9503 588cf31d584a
parent 9050 26c2c1de1631
child 10790 331fdf9a8824
--- a/jdk/src/share/classes/java/util/Collections.java	Wed Apr 20 16:30:38 2011 -0700
+++ b/jdk/src/share/classes/java/util/Collections.java	Wed Apr 20 17:20:00 2011 -0700
@@ -3746,9 +3746,10 @@
      * @throws NullPointerException if either collection is {@code null}.
      * @throws NullPointerException if one collection contains a {@code null}
      * element and {@code null} is not an eligible element for the other collection.
-     * (optional)
+     * (<a href="Collection.html#optional-restrictions">optional</a>)
      * @throws ClassCastException if one collection contains an element that is
-     * of a type which is ineligible for the other collection. (optional)
+     * of a type which is ineligible for the other collection.
+     * (<a href="Collection.html#optional-restrictions">optional</a>)
      * @since 1.5
      */
     public static boolean disjoint(Collection<?> c1, Collection<?> c2) {