StringBuffer sb = new StringBuffer();
initIndex();
it = schema.allDefs.keySet().iterator();
while(it.hasNext()){
StringName key = it.next();
String firstChar = key.getNameString().substring(0,1).toUpperCase();
TreeMap<String,Token> charTree = index.get(firstChar);
charTree.put(key.getNameString().toUpperCase(), new Token(key.getNameString(),0,schema.allDefs.get(key)));
}
// Generate the index reference header in HTML format - this will be
// placed at the top of each index page.
sb.append("<P> <HR SIZE=3 NOSHADE>");