docs: public void setHTMLText(String strHtmlText)
      {
      	if (m_helpPane != null)
      		m_helpPane.setVisible(strHtmlText != null);
  
      	this.getTaskScheduler().addTask(PrivateTaskScheduler.CLEAR_JOBS);     // Dump any stacked tasks
          Thread thread = new SwingSyncPageWorker(this, new SyncPageLoader(null, strHtmlText, this, m_applet, false));
          this.getTaskScheduler().addTask(thread);
      }