Eclipse问题.tomcat程序无法自动发布出去

1、环境：Win7x64、eclipse-jee-mars-R-win32__apk__20180122_1457、tomcat7

2、前面的事情：

　　开发时，Eclipse 使用的JDK是 8u181，将Web程序 复制到云服务器后 发现 云上安装的是  7u80的JRE，我记得是 有些功能 不能用还是 什么的 具体忘了 但是肯定是有问题的...

　　于是我这样处理：右键项目名-->Properties--> 左侧找到"Java Build Path"-->右侧选中"JRE System Library[JavaSE-1.8]"-->点击按钮"Edit..."-->在弹出的界面中 "Execution environment"中 下拉选中"JavaSE-1.7 (jre1.8.0_152)" -->Finish --> OK

　　这样处理过后，再将 Web程序复制到 云上就OK了，但是在 项目名称上 有一个小红叉标志...

3、问题现象：

　　（29100116）遇到问题：在项目中 新建了一个 jsp页面，发现 这个jsp页面无法发布到 eclipse的Web项目测试路径（D:\Workspace_XX\.metadata\.plugins\org.eclipse.wst.server.core\tmp0\wtpwebapps\Web项目名称），试着 将 "Execution environment"从 1.7改回1.8，然后发现 可以自动发布那个JSP了...

4、

5、