Added infrastructure for overriding database port number (not yet
connected - need to extend the ConnectToDatabase() method to achieve
that)