}
String dbname = lst.getDatabaseName();
out.println("<HTML>\n<HEAD><TITLE>Describe VPF Database " + dbname
+ "</TITLE></HEAD>\n<BODY>\n<H1>VPF Database " + dbname
+ "</H1>\n");
ListElement dble = new ListBodyElement();
WrapElement dblist = new WrapElement("ul", dble);
dble.addElement("Database Description: "
+ lst.getDatabaseDescription());
dble.addElement("Database Description Table: "
+ buildURL(request, response, libname, "dht"));
String[] libraries = lst.getLibraryNames();
StringBuffer libnames = new StringBuffer("Database Libraries: ");
for (int i = 0; i < libraries.length; i++) {
libnames.append("<A HREF=\"#").append(libraries[i]);
libnames.append("\">").append(libraries[i]);
libnames.append("</A>").append(" ");
}
libnames.append("(from ");
libnames.append(buildURL(request, response, libname, "lat"));
libnames.append(")");
dble.addElement(libnames.toString());
dblist.generate(out);
for (int i = 0; i < libraries.length; i++) {
//String prefix = libraries[i] + ":";
printLibrary(request,
response,