int (String o) { PropertyManager propertyManager = PROPERTIES.get(o); if (propertyManager == null) { throw new IllegalArgumentException("unexpected " + o); } return propertyManager.getValue(settings); }