657658659660661662663664665666667
{ if (code.equals(errorPage.getSingle("error-code").getText()) && this.prompt.promptBoolean("Your web.xml already contains an error page for " + code + " status codes, replace it?")) { root.removeChild(errorPage); } } } return webXML; }
747748749750751752753754755756757
669670671672673674675676677678679
663664665666667668669670671672673
694695696697698699700701702703704
654655656657658659660661662663664
665666667668669670671672673674675
667668669670671672673674675676677
713714715716717718719720721722723