--- a/jdk/src/share/classes/java/nio/channels/ServerSocketChannel.java	Wed Jun 26 19:15:34 2013 +0200
+++ b/jdk/src/share/classes/java/nio/channels/ServerSocketChannel.java	Fri Jun 28 16:10:23 2013 +0100
@@ -46,7 +46,7 @@
  * <p> Socket options are configured using the {@link #setOption(SocketOption,Object)
  * setOption} method. Server-socket channels support the following options:
  * <blockquote>
- * <table border>
+ * <table border summary="Socket options">
  *   <tr>
  *     <th>Option Name</th>
  *     <th>Description</th>
@@ -78,6 +78,9 @@
 
     /**
      * Initializes a new instance of this class.
+     *
+     * @param  provider
+     *         The provider that created this channel
      */
     protected ServerSocketChannel(SelectorProvider provider) {
         super(provider);