/**
* Constructs a Concat object.
*/
public ConcatN() {
menuoptions = MENU_EXECUTE | MENU_EXECUTE_SHOW;
arguments.add(new FileArrayArgument(this, "srcfiles",
"The list of PDF files"));
arguments.add(new FileArgument(this, "destfile",
"The file to which the concatenated PDF has to be written", true,
new PdfFilter()));
}