26     static void copy(String filename, PrintStream out) throws IOException {  in copy()  method in GenerateGL
53                 copy("stubs/jsr239/" + fname +  in emit()
55                 copy("stubs/jsr239/" + fname + ".java-impl", glImplStream);  in emit()
56                 copy("stubs/jsr239/" + fname + ".cpp", cStream);  in emit()
153         copy("stubs/jsr239/GL10Header.java-if", gl10Stream);  in main()
154         copy("stubs/jsr239/GL10ExtHeader.java-if", gl10ExtStream);  in main()
155         copy("stubs/jsr239/GL11Header.java-if", gl11Stream);  in main()
156         copy("stubs/jsr239/GL11ExtHeader.java-if", gl11ExtStream);  in main()
157         copy("stubs/jsr239/GL11ExtensionPackHeader.java-if", gl11ExtPackStream);  in main()
158         copy("stubs/jsr239/GLImplHeader.java-impl", glImplStream);  in main()
159         copy("stubs/jsr239/GLCHeader.cpp", cStream);  in main()