Port number of Gerrit SSH daemon.