*/
public Txt2Pdf() {
menuoptions = MENU_EXECUTE | MENU_EXECUTE_SHOW | MENU_EXECUTE_PRINT_SILENT;
arguments.add(new FileArgument(this, "srcfile", "The file you want to convert", false));
arguments.add(new FileArgument(this, "destfile", "The file to which the converted text has to be written", true, new PdfFilter()));
PageSizeArgument oa1 = new PageSizeArgument(this, "pagesize", "Pagesize");
arguments.add(oa1);
OptionArgument oa2 = new OptionArgument(this, "orientation", "Orientation of the page");
oa2.addOption("Portrait", "PORTRAIT");
oa2.addOption("Landscape", "LANDSCAPE");
arguments.add(oa2);