docs: private void unhookFromTrigger(final T trigger) {
          // Unhook from trigger
          final TriggerListener triggerAdapter = triggersToTriggerAdapters.get(trigger);
          trigger.removeTriggerListener(triggerAdapter);
  
          // Check if trigger was added several times
          if (!triggersToTriggerAdapters.containsKey(trigger)) {
              // All occurrences of the same trigger have been removed
              triggersToTriggerAdapters.remove(trigger);
          }
      }