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