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;
}
