Java servlet ソース添付 javadocロケーション

servletで
この要素には添付されたソースも、添付された javadoc もないため、javadoc を検出できませんでした。
が出るので
プロパティ>ビルドパス>ライブラリ>サーバーランタイム>servlet-api.jarにjakarta.servlet-api...を入れる