continue;
}
ConfigurableProgramAnalysis cpa = mgr.createAnalysis(shortHand);
if (cpa != null) {
AnalysisProperties p = mgr.getProperties(cpa);
logger.info("--- Using " + p.getName());
addedExplicitAnalysis |= p.isExplicit();
cpas.add(cpa);
} else {
logger.fatal("No analysis corresponds to letter \"" + shortHand + "\"!");
System.exit(1);
}