Name: bb33257 Date: 12/04/97
If you want to specify an encoding, out output, you
need to use OutputStreamWriter instead of just
new PrintWriter(new BufferedWriter(new FileWriter...)
But that requries you to use
new PrintWriter(new BufferedWriter(new OutputStreamWriter(
instead of FileWriter, forcing you to mix the old and new streams.