/**
* Constructs a Tiff2Pdf object.
*/
public Tiff2Pdf() {
menuoptions = MENU_EXECUTE | MENU_EXECUTE_SHOW;
arguments.add(new FileArgument(this, "srcfile", "The file you want to convert", false, new ImageFilter(false, false, false, false, false, true)));
arguments.add(new FileArgument(this, "destfile", "The file to which the converted TIFF has to be written", true, new PdfFilter()));
OptionArgument oa = new OptionArgument(this, "pagesize", "Pagesize");
oa.addOption("A4", "A4");
oa.addOption("Letter", "LETTER");
oa.addOption("Original format", "ORIGINAL");
arguments.add(oa);