Tweak how vertxStop is executed