docs: public void setDocTitle(String docTitle) {
          this.log("Setting doc title to: " + docTitle, LogLevel.DEBUG.getLevel());
          this.docTitle = new StringResource(this.getProject(), docTitle);
      }