Merge remote-tracking branch 'origin/master'

沈斌

2017-11-07 45db1ff89c6389a2e4b84b252870326d510049ba

1
2
3
4
5
6
7
<?xml version="1.0" encoding="UTF-8"?> 
<faceted-project> 
  <fixed facet="wst.jsdt.web"/> 
  <installed facet="java" version="1.5"/> 
  <installed facet="jst.web" version="2.3"/> 
  <installed facet="wst.jsdt.web" version="1.0"/> 
</faceted-project>