Element servletName = new Element( "servlet-name", ns );
servletName.setText( d.getName() );
servletMapping.addContent( servletName );
Element urlPattern = new Element( "url-pattern", ns );
String path = d.getPath();
if ( path.charAt( 0 ) != '/' )
{
path = '/' + path;
}
urlPattern.setText( path );
servletMapping.addContent( urlPattern );