ar.setType(getYesNoAsInt(oi.getFirstArg()));
}
//[-M mail_list] notify these e-mail addresses
@OptionAnnotation(value="-M",extra=OptionAnnotation.MAX_ARG_VALUE)
public void setMailList(final OptionInfo oi) throws JGDIException {
MailReceiver mr = new MailReceiverImpl(oi.getFirstArg());
ar.addMail(mr);
}