Main.printPadding( level );
System.out.println( "Servlet mappings: " );
System.out.println();
for ( int i = 0; i < servletMappings.length; i++ )
{
final ServletMapping s = servletMappings[ i ];
Main.printPadding( level + 1 );
System.out.println( "Servlet name: " + s.getServletName() );
Main.printPadding( level + 1 );
System.out.println( "URL pattern: " + s.getUrlPattern() );
System.out.println();
}
}
}