if (!(obj instanceof RandomAccessFile) && !(obj instanceof FileInputStream) && !(obj instanceof FileOutputStream)) throw new InternalError ();
  public FileChannelImpl (int fd, Object obj)  {    this.fd = fd;    this.file_obj = obj;  }