code: private String stateToString(long s) {
          return super.toString() +
              "[phase = " + phaseOf(s) +
              " parties = " + partiesOf(s) +
              " arrived = " + arrivedOf(s) + "]";
      }
docs: Implementation of toString and string-based error messages