spring-boot2系でspring.session.timeoutにserver.servlet.session.timeoutが設定される部分のコード

pom.xml

    <parent>
        <groupId>org.springframework.boot</groupId>
        <artifactId>spring-boot-starter-parent</artifactId>
        <version>2.0.1.RELEASE</version>
    </parent>

色々ぐぐっていると、spring.session.timeoutにはserver.servlet.session.timeoutの値（1系ではserver.session.timeout）が設定される、と書いてある。これってどうやってるんだ？　と思ったんで該当部分のコードを読んだ。

SessionProperties

package org.springframework.boot.autoconfigure.session;

@ConfigurationProperties(prefix = "spring.session")
public class SessionProperties {
    // （略）
    public SessionProperties(ObjectProvider<ServerProperties> serverProperties) {
        ServerProperties properties = serverProperties.getIfUnique();
        Session session = (properties == null ? null
                : properties.getServlet().getSession());
        this.timeout = (session == null ? null : session.getTimeout());
    }

なんのことはなく、SessionPropertiesのコンストラクタでtimeoutにServerPropertie.getServlet().getSession().getTimeout()の値を設定しているだけであった。