getPageFormat(int page_number) { return((PageFormat)page_formats.elementAt(page_number)); }
public PageFormat getPageFormat(int page_number) { return (PageFormat) page_formats.elementAt(page_number); }
getPageFormat(int page_number){  return((PageFormat)page_formats.elementAt(page_number));}