public void propertyChanged(ConfigProperty prop) { for (PropertyListener l : listener) { if (l.listensTo(prop)) { l.propertyChanged(prop); } } }