if (customerAlarm_ != null) {  customerAlarm_.cancel(); customerAlarm_ = null; } }
    public void clearRecordedCustomers() {        allConsumersSeen_ = false;        selfConsumer = 0;        seenConsumers_.clear();        System.out.println("####### Removing seen consumers: at supplier: "+                           myOrganization_.getClusterPG().getMessageAddress().toString());        if (customerAlarm_ != null) {            /* Cancel current alarm */            customerAlarm_.cancel();            customerAlarm_ = null;        }    }