29     public static void initProofread(String filename)  in initProofread()  argument
32             out = new FileWriter(filename);  in initProofread()
33             out.write("javadoc proofread file: " + filename + "\n");  in initProofread()
44             System.err.println("error opening file: " + filename);  in initProofread()
48     public static void finishProofread(String filename)  in finishProofread()  argument
83     public static void writeFileHeader(String filename)  in writeFileHeader()  argument
86         write(filename);  in writeFileHeader()
125     public static void writePackages(String filename, TagInfo[] tags)  in writePackages()  argument
131         writeFileHeader(filename);  in writePackages()
135     public static void writePackage(String filename, TagInfo[] tags)  in writePackage()  argument
141         writeFileHeader(filename);  in writePackage()
145     public static void writeClass(String filename, ClassInfo cl)  in writeClass()  argument
151         writeFileHeader(filename);  in writeClass()