/**
 * Build a platform independent filename out of pieces
 *
 * @param drvLetter Drive letter or 0 (not '0') for none.
 *
 * @param path directories possibly containing embedded / or \
 *
 * @param fileName name of the file, possibly containing an embedded .
 */
String makeQualName(char drvLetter, String path, String fileName)
   {
   // assume drive letter is separated by :
   return(drvLetter == 0 ? "" : drvLetter + ":" )
   + File.separatorChar
   + path
   + File.separatorChar
   + fileName;
   } // makeQualName