public AZODSutDetector() { ptfcfg = new PtfConfig(); }
public SummaryBuilder(PtfConfig ptfconfig) { ptfcfg = ptfconfig; }