public String getString(SessionID sessionID, String key) throws ConfigError {
public String getString(SessionID sessionID, String key) throws ConfigError, FieldConvertError {
    public String getString(SessionID sessionID, String key) throws ConfigError {        String value = getSessionProperties(sessionID).getProperty(key);        if (value == null) {            throw new ConfigError("missing setting: "+key);        }        return value;    }