private void processDeprecatedOptions(ConfigurationBuffer configurationBuffer)
{
for (Iterator i = configurationBuffer.getVarIterator(); i.hasNext(); )
{
String var = (String) i.next();
ConfigurationInfo info = configurationBuffer.getInfo(var);
if (info.isDeprecated() && configurationBuffer.getVar(var) != null)
{
CompilerMessage.CompilerWarning warning = info.getDeprecatedMessage();
//String replacement = info.getDeprecatedReplacement();
//String since = info.getDeprecatedSince();
if (warning != null)
{