langtools/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/markup/HtmlDocument.java
changeset 42828 cce89649f958
parent 40587 1c355ea550ed
equal deleted inserted replaced
42827:36468b5fa7f4 42828:cce89649f958
    41  *
    41  *
    42  * @author Bhavesh Patel
    42  * @author Bhavesh Patel
    43  */
    43  */
    44 public class HtmlDocument extends Content {
    44 public class HtmlDocument extends Content {
    45 
    45 
    46     private List<Content> docContent = Collections.<Content>emptyList();
    46     private List<Content> docContent = Collections.emptyList();
    47 
    47 
    48     /**
    48     /**
    49      * Constructor to construct an HTML document.
    49      * Constructor to construct an HTML document.
    50      *
    50      *
    51      * @param docType document type for the HTML document
    51      * @param docType document type for the HTML document