code: public void setFile(String file) {
  
          if (file != null) {
              m_file = file.toLowerCase();
          } else {
              m_file = null;
          }
      }
docs: Sets the file name.<p>
  
  @param file the file name