jdk/src/java.base/share/classes/java/net/ServerSocket.java

*** 944,954 ****
       *         option requires a security permission and if the caller does
       *         not have the required permission.
       *         {@link java.net.StandardSocketOptions StandardSocketOptions}
       *         do not require any security permission.
       *
!      * @since 1.9
       */
      public <T> ServerSocket setOption(SocketOption<T> name, T value)
          throws IOException
      {
          getImpl().setOption(name, value);
--- 944,954 ----
       *         option requires a security permission and if the caller does
       *         not have the required permission.
       *         {@link java.net.StandardSocketOptions StandardSocketOptions}
       *         do not require any security permission.
       *
!      * @since 9
       */
      public <T> ServerSocket setOption(SocketOption<T> name, T value)
          throws IOException
      {
          getImpl().setOption(name, value);
*** 974,984 ****
       *         option requires a security permission and if the caller does
       *         not have the required permission.
       *         {@link java.net.StandardSocketOptions StandardSocketOptions}
       *         do not require any security permission.
       *
!      * @since 1.9
       */
      public <T> T getOption(SocketOption<T> name) throws IOException {
          return getImpl().getOption(name);
      }
  
--- 974,984 ----
       *         option requires a security permission and if the caller does
       *         not have the required permission.
       *         {@link java.net.StandardSocketOptions StandardSocketOptions}
       *         do not require any security permission.
       *
!      * @since 9
       */
      public <T> T getOption(SocketOption<T> name) throws IOException {
          return getImpl().getOption(name);
      }
  
*** 992,1002 ****
       * the socket has been closed.
       *
       * @return A set of the socket options supported by this socket. This set
       *         may be empty if the socket's SocketImpl cannot be created.
       *
!      * @since 1.9
       */
      public Set<SocketOption<?>> supportedOptions() {
          synchronized (ServerSocket.class) {
              if (optionsSet) {
                  return options;
--- 992,1002 ----
       * the socket has been closed.
       *
       * @return A set of the socket options supported by this socket. This set
       *         may be empty if the socket's SocketImpl cannot be created.
       *
!      * @since 9
       */
      public Set<SocketOption<?>> supportedOptions() {
          synchronized (ServerSocket.class) {
              if (optionsSet) {
                  return options;