Servletでサーバー停止時にdestroy()が実行されない

Question

初期化時 ⇒ init() ⇒ Request ⇒ doGet() ⇒ サーバー停止 ⇒ destry()　となるか検証していました。
サーバー停止時にdestroy()が実行されると思っていたのですが、実際に実行してみると実行されていないように見えます。
destroy()はいつ実行されるのでしょうか。

package app;

import java.io.IOException;
import java.io.PrintWriter;

import javax.servlet.ServletException;
import javax.servlet.annotation.WebServlet;
import javax.servlet.http.HttpServlet;
import javax.servlet.http.HttpServletRequest;
import javax.servlet.http.HttpServletResponse;

/**
 * Servlet implementation class LifeCycleServlet
 */
@WebServlet("/LifeCycleServlet")
public class LifeCycleServlet extends HttpServlet {
	private static final long serialVersionUID = 1L;

    /**
     * @see HttpServlet#HttpServlet()
     */
    public LifeCycleServlet() {
        super();
        // TODO Auto-generated constructor stub
    }

    public void init() throws ServletException {
    	System.out.println("init");
	}

	/**
	 * @see HttpServlet#doGet(HttpServletRequest request, HttpServletResponse response)
	 */
	protected void doGet(HttpServletRequest request, HttpServletResponse response) throws ServletException, IOException {
		System.out.println("doGet");
		PrintWriter out = response.getWriter();
		out.println("OK");
	}

	/**
	 * @see HttpServlet#doPost(HttpServletRequest request, HttpServletResponse response)
	 */
	protected void doPost(HttpServletRequest request, HttpServletResponse response) throws ServletException, IOException {
		// TODO Auto-generated method stub
		doGet(request, response);
	}

	public void destroy() {
		System.out.println("destroy");
	}

}

情報: Server startup in 440 ms [月 3 18 23:11:26 JST 2019]
init
doGet

Comments

[YakumoSaki]

アプリケーションサーバーの情報がないので推測ですが、`サーバー停止` が強制終了に属するような手段であればdestroy() しないで終了する場合が多いと思います。（例えば、tomcatをkillした。等）

実際に使用された手順を追記して頂くと回答しやすくなると思います。

[empereur-7]

ご回答ありがとうございます。
手順としては以下の通りとなります。
①Eclipseでサーバー起動
②ブラウザで、http://local host:8080/sample/LifeCycleServlet を実行。
③Eclipseでサーバ停止。

となります。