public String toString() {
		switch(t) {
		case FAILURE:
			return "FAILURE " + node;
		case START:
			return "START " + node;
		case EXIT:
			return "EXIT";
		case COMMAND:
			return "COMMAND " + node + " executes " + command;
		case ECHO:
			return "ECHO " + msg;
		case TIME:
			return "TIME " + msg;
		case DELIVERY:
			return "DELIVERY " + p;
		case TIMEOUT:
			return "TIMEOUT " + to;
		default:
			return "UNKNOWN EVENT TYPE " + t;
		}
	}