Почему мой проект Eclipse / Maven / Spring не видит аннотацию @RequestMapping?

У меня есть простой проект maven в Eclipse для веб-приложения.

Я добавил следующие зависимости в файл pom.xml ...

    <dependency>
        <groupId>org.springframework</groupId>
        <artifactId>spring-context</artifactId>
        <version>5.0.4.RELEASE</version>
    </dependency>
    <dependency>
        <groupId>org.springframework</groupId>
        <artifactId>spring-webmvc</artifactId>
        <version>5.0.4.RELEASE</version>
    </dependency>
    <dependency>
        <groupId>org.springframework</groupId>
        <artifactId>spring-web</artifactId>
        <version>5.0.4.RELEASE</version>
    </dependency>

Я создал простой класс веб-контроллера ...

import org.springframework.stereotype.Controller;

@Controller
public class WebController {

    @RequestMapping(value = "/method0")
    @ResponseBody
    public String method0(){
        return "method0";
    }

}

... проект может найти аннотацию @Controller в порядке, но есть красные ошибки в аннотациях @RequestMapping и @ResponseBody.

Все почистил, все перестроил, не повезло.

Я проверил путь сборки Java в проекте, и к нему добавляется «Зависимости Maven», включающие следующие JAR-файлы ...

spring-context-5.0.4.RELEASE.jar
spring-aop-5.0.4.RELEASE.jar
spring-beans-5.0.4.RELEASE.jar
spring-core-5.0.4.RELEASE.jar
spring jcl-5.0.4.RELEASE.jar
spring-expression-5.0.4.RELEASE.jar
spring-webmvc-5.0.4.RELEASE.jar
spring-web-5.0.4.RELEASE.jar

Кроме того, насколько я понимаю, аннотация org.springframework.web.bind.annotation.RequestMapping должна быть в spring-webmvc-5.0.4.RELEASE.jar, но я разархивировал файл JAR и не вижу его там.

Что я делаю неправильно?