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