WriteHTMLFile.java revision 65e99be301d5a19db33f25841f671756e8dbb9b5