mp3decoder compiled by our research compiler produces the same output that I get...
[IRC.git] / Robust / src / ClassLibrary / FileWriter.java
1 public class FileWriter extends OutputStreamWriter {
2   public FileWriter(String file, boolean append) {
3     super(new FileOutputStream(file, append));
4   }
5
6 }