/** * Associate a corrector with this supply. * * @param corrector the corrector agent to associate with this supply */ public void addCorrector(final CorrectorAgent corrector) { _correctors.add(corrector); _isEnabled = corrector.isCorrector(); // by default enable only corrector supplies }