code: public static DocFile createFileForInput(Configuration configuration, String file) {
          return DocFileFactory.getFactory(configuration).createFileForInput(file);
      }
docs: Create a DocFile for a file that will be opened for reading.