private static void decodeFile (String inputFileName, String outputFileName) throws IOException {
   BufferedReader in = null;
   BufferedOutputStream out = null;
   try {
      in = new BufferedReader(new FileReader(inputFileName));
      out = new BufferedOutputStream(new FileOutputStream(outputFileName));
      decodeStream (in, out);
      out.flush(); }
    finally {
      if (in != null) in.close();
      if (out != null) out.close(); }}