void setCharset(Charset newCharset) {
    randomAccessFileLock.lock();
    try {
      vFile.setCharset(newCharset);
    }
    finally {
      randomAccessFileLock.unlock();
    }
  }
void setCharset(Charset newCharset)