Vert.x version: 4.5.0

Release date: Nov. 15, 2023