Idea 13 cannot parse valid java source

Hi all
some valid java source code (spring security java configuration) cannot be resolved correctly in Idea 13 editor
attached is a screenshot

@Configuration
@EnableWebSecurity
public class SecurityConfig extends WebSecurityConfigurerAdapter {
    @Override
    protected void configure(HttpSecurity http) throws Exception {
        http
                .authorizeRequests()
                .anyRequest().authenticated()
                .and()
                .formLogin()
                .loginPage("/login")
                .permitAll();
}

I got the message "Cannot resolve method formLogin()"

this code compile and run fine using the jdk 6, 7 compiler
Is this a feature, a bug, if so, is it reported?

Thanks