/**
  * Removes schedule entry in index manager configuration. If table still exists, default
  * scheduling behaviour applies.
  */
 public void remove(ValueTable vt) {
   // change the config and persist using the config supplier
   IndexManagerConfiguration config = getConfig();
   config.removeSchedule(vt);
   configSupplier.addExtension(config);
 }
 /** Update schedule entry in index manager configuration. */
 public void update(ValueTable vt, Schedule schedule) {
   // change the config and persist using the config supplier
   IndexManagerConfiguration config = getConfig();
   config.updateSchedule(vt, schedule);
   configSupplier.addExtension(config);
 }
 /**
  * Enable this index.
  *
  * @param enabled
  */
 public void setEnabled(boolean enabled) {
   IndexManagerConfiguration config = getConfig();
   config.setEnabled(enabled);
   configSupplier.addExtension(config);
 }
 public IndexManagerConfiguration getConfig() {
   if (!configSupplier.hasExtension()) {
     configSupplier.addExtension(new IndexManagerConfiguration());
   }
   return configSupplier.get();
 }