code: static public boolean exists(String filename, int type) {
          File checkfile;
          if (type == FileManager.MULTIVOLUME_PAGED) {
              checkfile = new File(filename + "." + 0);
          } else {
              checkfile = new File(filename);
          }
          return checkfile.exists();
      }
docs: ***********************************************************************
  exists Determines if a FileManager managed file with the
  specified physical disk manager exists.
  
  NOTE: This is currently a hack and MUST be reworked. It is expected
  that the interface will not change, however.
  
  @param filename The name of the file to check
  @param type The type of the physical disk manager. Currently
  FileManager.ORIGINAL or FileManager.MULTIVOLUME_PAGED
  
  @return true If such a file exists.
  @return false If no such file exists.
  ***********************************************************************