indentation -= offset; writer.println("</frameset>");
    void dumpData(File file, int indentation, int offset)	throws java.io.IOException    {	FileWriter fwriter = new FileWriter(file);	PrintWriter writer = new PrintWriter(fwriter);	for (int i=0; i<indentation; i++) writer.print(' ');	writer.println("<frameset>");	indentation += offset;	for (int i=0; i<indentation; i++) writer.print(' ');	writer.println("<frames>");	indentation += offset;	dumpDataFrames(writer, indentation, offset);	indentation -= offset;	writer.println("</frames>");	indentation -= offset;	writer.println("</frameset>");	writer.close();    }