684685686687688689690691692693694
//context is not null //destroyDependents it if(context != null) { context.destroy(); } //remove it from saved contexts if(servletContext != null) {
627628629630631632633634635636637
537538539540541542543544545546547
518519520521522523524525526527528
//context is not null //destroy it if(context != null) { context.destroy(); } //remove it from saved contexts if(servletContext != null) {
630631632633634635636637638639640
514515516517518519520521522523524
547548549550551552553554555556557