public OrderingConfig getOrderingConfig() {
   if (orderingConfig == null) {
     // Try to read a stored config
     String encoded = store.get(ORDERING_CONFIG, (String) null);
     if (encoded != null) {
       orderingConfig = OrderingConfig.fromSaveString(encoded);
     } else {
       orderingConfig = OrderingConfig.DEFAULT;
     }
   }
   return orderingConfig;
 }
 public void setOrderingConfig(OrderingConfig config) {
   orderingConfig = config;
   if (config == null) {
     store.remove(ORDERING_CONFIG);
   } else {
     store.put(ORDERING_CONFIG, config.toSaveString());
   }
   try {
     store.flush();
   } catch (BackingStoreException e) {
     GrailsCoreActivator.log(e);
   }
   notifyListeners(config);
 }