void setCollector(EventCollector c) { touchScreen.setCollector(c); cardReader.setCollector(c); keyIssuer.setCollector(c); for (DPoint dp : dockingPoints) { dp.setCollector(c); } }