--- a/jdk/src/share/classes/java/nio/channels/Selector.java	Tue Jun 11 15:39:20 2013 -0700
+++ b/jdk/src/share/classes/java/nio/channels/Selector.java	Wed Jun 12 08:04:11 2013 +0100
@@ -228,14 +228,14 @@
     }
 
     /**
-     * Tells whether or not this selector is open.  </p>
+     * Tells whether or not this selector is open.
      *
      * @return <tt>true</tt> if, and only if, this selector is open
      */
     public abstract boolean isOpen();
 
     /**
-     * Returns the provider that created this channel.  </p>
+     * Returns the provider that created this channel.
      *
      * @return  The provider that created this channel
      */