Index/Menu Generation
All the menu pages on this site (including the home page) have been
generated by com.mortbay.Servlets.IndexServlet. This servlet is given
a Hashtable describing all the menus and a look and feel class. It can
then generate all the index/menu pages.