for (int i=0; i<indentation; i++) writer.print(' '); writer.println("  container-relation=\"" +container_relation+ "\"");
    void dumpPrototypes(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");	for (int i=0; i<indentation; i++) writer.print(' ');	writer.println("  frame-inheritance=\"single\"");	for (int i=0; i<indentation; i++) writer.print(' ');	writer.println("  package=\"" +pkg+ "\"");	writer.println(">");	indentation += offset;	for (int i=0; i<indentation; i++) writer.print(' ');	writer.println("<prototypes>");	indentation += offset;	dumpPaths(writer, indentation, offset);	dumpProtoFrames(writer, indentation, offset);	indentation -= offset;	writer.println("</prototypes>");	indentation -= offset;	writer.println("</frameset>");	writer.close();    }