149150151152153154155156157158159
} } public void addDetector(OverloadDetector od) { if (od != null) { OverloadDetector activatedOd = get(od.type()); if (activatedOd == null) { activeDetectors.add(od); od.addListener(this); } }
159160161162163164165166167
} } public void removeDetector(OverloadDetector od) { if (od != null) { OverloadDetector activatedOd = get(od.type()); deactivateDetector(activatedOd); } }