if (!Config.getInstance().isEnabled()) {
buffer1.append("<tr><td bordercolor='#C0C0C0' align='center'>\n");
buffer1.append("Framework disabled\n");
} else {
AttributeContainer ac = (AttributeContainer) HttpSessionWrapper.wrapItIfNecessary(pageContext.getSession());
NavigationManager manager = NavigationManagerFactory.getInstance(ac);
Set sessionSet = new HashSet();
for (Enumeration e = pageContext.getSession().getAttributeNames(); e.hasMoreElements();) {
String key = (String) e.nextElement();
sessionSet.add(key);
}
buffer1.append("<tr valign='bottom'><td bordercolor='#C0C0C0' align='center'>\n");
buffer1.append("<table width='100%' cellSpacing='1' cellPadding='1' bgcolor='#C0C0C0'>\n");
StringBuffer buffer2 = new StringBuffer();
int count = 1;
Stack webflowStack = manager.getWebflowStack();
for (int i = webflowStack.size() - 1; i >= 0; i--) {
count++;
Webflow webflow = (Webflow) webflowStack.elementAt(i);