public static void writeJS(String filename, Displayable d) throws IOException { FileWriter fw = new FileWriter(filename); StringBuilder b = new StringBuilder(65536); d.writeJS(b); fw.write(b.toString()); fw.close(); }