Editor fails for source with unresolved dependencies

[eric-milles]

Consider the following:

@Grab('org.springframework.security:spring-security-config:5.7.11')
import org.springframework.security.config.annotation.authentication.builders.*
import org.springframework.security.config.annotation.web.configurers.*
import org.springframework.security.config.annotation.web.builders.*
@Grab('org.springframework.security:spring-security-web:5.7.11')
import org.springframework.security.web.*
//@Grab('javax.servlet:servlet-api:2.5')

class MyConfigurer extends AbstractHttpConfigurer<MyConfigurer, HttpSecurity> {}

SecurityFilterChain securityFilterChain(HttpSecurity http) {
  http.apply(new MyConfigurer())//...
}

Without the servlet-api dependency, the editor shows an error for missing class files. And if the editor is then closed and reopened, it shows a red X and the source cannot be viewed or edited. Also there are quite a few errors in the Error Log view.