/**
  * Check if a file is an xml or txt file. If not, then encode it as such.
  *
  * @param inFileName Name of input file
  */
 private void checkAndDecode(String inFileName) {
   FileConverter.decodeFile(inFileName, inFileName + ".temp");
   try {
     moveFile(inFileName + ".temp", inFileName);
   } catch (Exception e) {
     e.printStackTrace();
   }
 }
 /**
  * Check if a file is an xml or txt file. If not, then encode it as such.
  *
  * @param inFileName Name of input file
  * @return File The file object of the output file
  */
 private File checkAndEncode(String inFileName) {
   String[] fileNameParts = inFileName.split("\\.");
   String extension = fileNameParts[fileNameParts.length - 1];
   switch (extension) {
     case "xml":
     case "txt":
     case "XML":
     case "TXT":
       File file = null;
       try {
         file = copyFile(inFileName, inFileName + ".tmp");
       } catch (Exception e) {
         e.printStackTrace();
       }
       return file;
     default:
       FileConverter.encodeFile(inFileName, inFileName + ".tmp");
       return new File(inFileName + ".tmp");
   }
 }