--- old/src/java.base/share/classes/java/net/ServerSocket.java	2019-05-27 11:33:56.285804631 +0100
+++ new/src/java.base/share/classes/java/net/ServerSocket.java	2019-05-27 11:33:56.021804641 +0100
@@ -1025,6 +1025,9 @@
     public <T> ServerSocket setOption(SocketOption<T> name, T value)
         throws IOException
     {
+        Objects.requireNonNull(name);
+        if (isClosed())
+            throw new SocketException("Socket is closed");
         getImpl().setOption(name, value);
         return this;
     }
@@ -1053,6 +1056,9 @@
      * @since 9
      */
     public <T> T getOption(SocketOption<T> name) throws IOException {
+        Objects.requireNonNull(name);
+        if (isClosed())
+            throw new SocketException("Socket is closed");
         return getImpl().getOption(name);
     }