}
else if (info.isDeprecated() && configurationBuffer.getVar(var) != null)
{
String replacement = info.getDeprecatedReplacement();
String since = info.getDeprecatedSince();
DeprecatedConfigurationOptionProblem problem =
new DeprecatedConfigurationOptionProblem(var, replacement, since,
cv.getSource(), cv.getLine());
configurationProblems.add(problem);
}
else if (warnOnFlexOnlyOptionUsage && info.isFlexOnly())
{