throw new DeploymentException( "Missing filter " + servletName ); } else { filter.createInitParam() .paramName( GatewayServlet.GATEWAY_DESCRIPTOR_LOCATION_PARAM ) .paramValue( "/WEB-INF/" + GatewayServlet.GATEWAY_DESCRIPTOR_LOCATION_DEFAULT );
throw new DeploymentException( "Missing filter " + servletName ); } else { filter.createInitParam() .paramName( GatewayServlet.GATEWAY_DESCRIPTOR_LOCATION_PARAM ) .paramValue( "/WEB-INF/" + GatewayServlet.GATEWAY_DESCRIPTOR_LOCATION_DEFAULT );