js/writeFile.js

   1 importPackage(java.io);
   2
   3 function writeFile( file, stream ) {
   4         var buffer = new PrintWriter( new FileWriter( file ) );
   5         buffer.print( stream );
   6         buffer.close();
   7 }