use properties file for database location
use logging instead of standard output stream for some classes
replace more stdout writes with logging
inject provider for server proxies, and pass ServerInfo around as part of descriptor
persist project list in mirror
persist version list and document tree in mirror