private String getDirectoryLinksHTML() {
   return HTMLContent.openHTMLAndBody(directory.getName())
       + HTMLContent.listOfLinks(directory.getFileNameList())
       + HTMLContent.closeBodyAndHTML();
 }