docs: public TaskScheduler getTaskScheduler()
      {
      	if (m_taskScheduler == null)
      		m_taskScheduler = new PrivateTaskScheduler(this.getBaseApplet().getApplication(), 0, true);
      	return m_taskScheduler;
      }