super.init (init);
    public void init (ServletConfig init) throws ServletException {	super.init (init);	appName = init.getInitParameter ("application");	serverProps = init.getInitParameter ("serverprops");	super.init (init);    }