修改编译jdk版本为1.8

(cherry picked from commit 3373978073)
This commit is contained in:
zhangwei
2019-01-27 05:10:51 +00:00
committed by 王鑫
parent 776dc47ad6
commit 26078a9cd1
3 changed files with 9 additions and 9 deletions

View File

@@ -2,8 +2,8 @@
<faceted-project>
<fixed facet="wst.jsdt.web"/>
<installed facet="wst.jsdt.web" version="1.0"/>
<installed facet="java" version="1.7"/>
<installed facet="jst.web" version="3.0"/>
<installed facet="jst.jaxrs" version="1.1"/>
<installed facet="maven" version="1.0"/>
<installed facet="java" version="1.8"/>
</faceted-project>