registry.setProperty(RT_PROP_SERVER, server);
    public void init(ServletConfig config) throws ServletException    {        if ( properties == null ) {            // TODO get config location from web.xml config        }              try {            registry = new Registry(properties);             dispatcher = new Dispatcher(registry);                        outputEncoding = registry.getConfiguration().getProperty(PROP_OUTENC, DEF_ENC);        } catch(InitializeException ex) {            throw new ServletException(ex);        }    }