}
else if(Configuration.getOutputFormat() == Configuration.OUTPUTFORMAT.JAVA_PRIORITIZAION_ANALYSIS_ALL_REPETITION) {
m_colOutputConfigurators.add(new TestCaseGraphOutputJavaPrioritizationAnalysisSystemCallsRepetition(in_oTCGHelper));
}
else if(Configuration.getOutputFormat() == Configuration.OUTPUTFORMAT.CPP_UNIT_1_12) {
m_colOutputConfigurators.add(new TestCaseGraphOutputCppUnit_1_12(in_oTCGHelper));
}
else
throw new Exception("no output format selected");
}