在Eclipse下修改Tomcat运行时JRE

在创建 Dynamic Web Project 时，碰到了一个诡异的问题：JRE的版本是17，而后再次创建时，又不见了修改JRE的地方，以至于每次部署代码都失败。
在解决这个问题的过程中，首先想到的是修改工程的 /Java Resource/Libraries/ 下的依赖，但在修改之后，工程图标下依然有一个红色的差号，所以这一步的挽救是无效的。
经过多次尝试，最终找到了有效的解决方案，下面详细分享说明。

1. 在工程上单击右键，找到Properties（位于弹出框的最下面），之后点击Properties。

2. 在弹出窗口里的左侧列表中，找到Project Facets选项并单击。

3. 在右侧的界面中，有一个Java选项，该选项的右侧有一个下拉框，在此处选择合适的JRE版本。
   

   顶部标题中的“First”是我的项目的名称

4. 问题解决。