docs: public String toShortString()
      {
          StringBuilder sb = new StringBuilder();
          taskToString(sb);
          if (m_msg != null) {
              sb.append("\n");
              m_msg.toShortString(sb);
          }
          return sb.toString();
      }