throw new InternalError("Socket.getReceiveBufferSize not implemented");
Integer buf = (Integer)impl.getOption(SocketOptions.SO_RCVBUF); return buf.intValue();
  public int getReceiveBufferSize () throws SocketException  {    throw new InternalError("Socket.getReceiveBufferSize not implemented");  }