/** toString() helper method. */ protected final void delayToStringBuf(StringBuffer buf) { if (delaySlot != null) { buf.append("; "); buf.append(delaySlot.toString()); } }