private void removeInactiveAgents() {
    synchronized (extToRemove) {
      if (!extToRemove.isEmpty()) {
        for (int i : extToRemove) {
          activeAgents.remove(i);
        }
        extToRemove.clear();
      }
    }
  }
private void removeInactiveAgents() {
    synchronized (extToRemove) {
      if (!extToRemove.isEmpty()) {
        for (int i : extToRemove) {
          activeAgents.remove(i);
        }
        extToRemove.clear();
      }
    }
  }
private void removeInactiveAgents ( ) { synchronized ( extToRemove ) { if ( ! extToRemove . isEmpty ( ) ) { for ( int i : extToRemove ) { activeAgents . remove ( i ) ; } extToRemove . clear ( ) ; } } }
Removes from {@link #activeAgents} all agents flagged by external events as having become
inactive.
Removes from {