SteveH/PeterB: Add a dispose() method to HaConnectionFactory to shut down its executor service