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
@EnableWebSecuritypublicclass SecurityConfig extends WebSecurityConfigurerAdapter {    @Override    protectedvoid 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