public void setPage(int page_num, Printable printable, PageFormat page_format) {
setPage(int page_num, Printable printable, PageFormat page_format) {
	public void setPage(int page_num, Printable printable, PageFormat page_format) {		printables.setElementAt(printable, page_num);		page_formats.setElementAt(page_format, page_num);	}