else throw new VM_UnimplementedError("JikesRVMSocketImpl.getOption");
} else if (optID == SocketOptions.SO_BINDADDR) { return localAddress; } else { throw new VM_UnimplementedError("JikesRVMSocketImpl.getOption: " + optID); }
  public synchronized Object getOption(int optID) throws SocketException {    if (optID == SocketOptions.SO_TIMEOUT)       return new Integer(receiveTimeout);    else      throw new VM_UnimplementedError("JikesRVMSocketImpl.getOption");  }