rtps server (not ok)

houxiao

2017-08-09 d9ffa50c7e8d6b8c3157690aef8e2a70af1d1695

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