protected void getExceptionText(Appendable a, Throwable e) throws java.io.IOException {
    if (e==null)
      return;
    else
    if (e instanceof TmplzException) {
      a.append(e.getClass().getSimpleName());
      a.append(": ");
      a.append(e.getMessage()+"\n");
      getExceptionText(a, e.getCause());
    }
    else
      StackTracer.recurseStackTrace(e, a);
  }