/**
  * Returns the original filesystem name of the specified file (before any renaming policy was
  * applied), or null if the file was not included in the upload. A filesystem name is the name
  * specified by the user.
  *
  * @param name the html page's file parameter name.
  * @return the original file name of the file.
  */
 public String getOriginalFileName(String name) {
   try {
     UploadedFile file = (UploadedFile) files.get(name);
     return file.getOriginalFileName(); // may be null
   } catch (Exception e) {
     return null;
   }
 }
 /**
  * Returns a File object for the specified file saved on the server's filesystem, or null if the
  * file was not included in the upload.
  *
  * @param name the html page's file parameter name.
  * @return a File object for the named file.
  */
 public File getFile(String name) {
   try {
     UploadedFile file = (UploadedFile) files.get(name);
     return file.getFile(); // may be null
   } catch (Exception e) {
     return null;
   }
 }
 /**
  * Returns the filesystem name of the specified file, or null if the file was not included in the
  * upload. A filesystem name is the name specified by the user. It is also the name under which
  * the file is actually saved.
  *
  * @param name the html page's file parameter name.
  * @return the filesystem name of the file.
  */
 public String getFilesystemName(String name) {
   try {
     UploadedFile file = files.get(name);
     return file.getFilesystemName(); // may be null
   } catch (Exception e) {
     return null;
   }
 }