code: protected void markTime(final StringBuilder b, long t1, long t2) {
          boolean time = getPhaseConfiguration().isTime();
          if (time) {
              String seconds = timeFormat((t2 - t1));
              b.append("(");
              b.append(seconds);
              b.append(" seconds) ");
          }
      }
docs: Appends {@code (#.### seconds)} to the builder, if
  {@link RuntimeConfiguration#isTime() runtime configuration timing} is
  set.
  
  @param b Non-null builder
  @param t1 Time at {@code t1}
  @param t2 Time at {@code t2}