添加面板刷新按钮

hdw

2018-11-20 c3e1c4e4565e684e6ab4a3b9c806823f65be7e37

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