maven-jetty插件配置时，webdefault.xml的取得和修改