docs: void removeTrigger(String name) {
  
          TriggerDef td = null;
  
          for (int i = 0; i < triggerList.length; i++) {
              td = triggerList[i];
  
              if (td.name.name.equals(name)) {
                  td.terminate();
  
                  triggerList =
                      (TriggerDef[]) ArrayUtil.toAdjustedArray(triggerList,
                          null, i, -1);
  
                  break;
              }
          }
  
          if (td == null) {
              return;
          }
  
          int index = td.vectorIndex;
  
          // look in each trigger list of each type of trigger
          for (int j = 0; j < triggerLists[index].length; j++) {
              td = triggerLists[index][j];
  
              if (td.name.name.equals(name)) {
                  td.terminate();
  
                  triggerLists[index] = (TriggerDef[]) ArrayUtil.toAdjustedArray(
                      triggerLists[index], null, j, -1);
  
                  break;
              }
          }
      }