Método .withUser() não encontrado

Olá a todos!

Estou replicando o código conforme a aula e, ao escrever o método .withUser(), o Eclipse já acusa erro e informa que "The method withUser(UserDetails) is undefined for the type WebSecurityConfig".

@Override
    protected void configure(AuthenticationManagerBuilder auth) throws Exception {
        BCryptPasswordEncoder encoder = new BCryptPasswordEncoder();

        UserDetails user =
                 User.builder()
                    .username("joao")
                    .password(encoder.encode("joao"))
                    .roles("ADMIN")
                    .build();

        auth.jdbcAuthentication()
            .dataSource(dataSource)
            .passwordEncoder(encoder);
            .withUser(user);
    }

Qual será o problema aqui?