public static void do_it(String argv[]) {
CustomStream my_stream = new CustomStream(argv[0] + "/basic_extstream.pdf");
Document doc = jagpdf.create_stream(my_stream);
my_stream = null;
doc.page_start(5.9*72, 3.5*72);
doc.page_end();
doc.finalize_doc();
doc = null;
}
public static void collect(int ms, String s)