xmlrpcHandlers.remove (app.getXmlRpcHandlerName());
    void stop (String appName) {	Server.getLogger().log ("Stopping application "+appName);	try {	    Application app = (Application) applications.get (appName);	    // unbind from RMI server	    if (port > 0) {	        Naming.unbind ("//:"+port+"/"+appName);	    }	    // unbind from Jetty HTTP server	    if (server.http != null) {	        String mountpoint = mountpoints.getProperty (appName);	        HttpContext context = server.http.getContext (null, mountpoint);	        if (context != null) {	            context.stop ();	            context.destroy ();	        }	    }	    app.stop ();	    Server.getLogger().log ("Unregistered application "+appName);	} catch (Exception x) {	    Server.getLogger().log ("Couldn't unregister app: "+x);	}	applications.remove (appName);    }