if (isClosed()) throw new SocketException("ServerSocket is closed");
  public void setReuseAddress (boolean on)    throws SocketException  {    impl.setOption (SocketOptions.SO_REUSEADDR, new Boolean (on));  }