Hot Rod client uses "greater than" for comparison but topology ID resets on full cluster restart

Start an Infinispan cluster and a Hot Rod client application. Enable debug logging on the client. Restart one of the servers in the cluster a few times, observing that the topology changes are being accepted by the client. Stop the entire Infinispan cluster without stopping the Hot Rod client application. Start the Infinispan cluster. Expected behavior: Hot Rod client receives the topology update from the newly-restarted cluster. Actual behavior: client does not accept the topology update, because the topology ID is less than the ID sent during step (2).