add jacorb port number; add note about haproxy consuming port 8080