Changed so that the RMI host name for the agencies is stored in the web
database.