jdbcSessionRepository.setDefaultMaxInactiveInterval和server.servlet.session.timeout之间的优先级是什么

import org.springframework.context.annotation.Bean;
import org.springframework.context.annotation.Configuration;
import org.springframework.session.jdbc.JdbcOperationsSessionRepository;
import org.springframework.session.jdbc.config.annotation.web.http.EnableJdbcHttpSession;

@Configuration
@EnableJdbcHttpSession
public class SessionConfig {

    @Bean
    public JdbcOperationsSessionRepository jdbcSessionRepository() {
        JdbcOperationsSessionRepository sessionRepository = new JdbcOperationsSessionRepository(dataSource());
        sessionRepository.setDefaultMaxInactiveInterval(1800); // 30分钟
        return sessionRepository;
    }

    @Bean
    public DataSource dataSource() {
        // 配置数据源
        return new EmbeddedDatabaseBuilder()
            .setType(EmbeddedDatabaseType.H2)
            .addScript("org/springframework/session/jdbc/schema-h2.sql")
            .build();
    }
}

server.servlet.session.timeout=1800 # 30分钟