if ((listing == null)
|| (dirResource.getDirectory().lastModified() > listing_stamp)
|| (dirResource.getLastModified() > listing_stamp)
|| (getLastModified() > listing_stamp)) {
Enumeration e = dirResource.enumerateResourceIdentifiers() ;
Vector resources = Sorter.sortStringEnumeration(e) ;
HtmlGenerator g = new HtmlGenerator("Directory listing of "+
dirResource.getIdentifier());
// Add style link
addStyleSheet(g);