* javadoc -doctitle "Java<sup><font size=\"-2\">TM</font></sup>" com.mypackage
     */
    @Nullable @Optional @Input
    public String getDocTitle() {
        return docTitle.getValue();
    }

    public void setDocTitle(@Nullable String docTitle) {
        this.docTitle.setValue(docTitle);
    }