implement vertxStop()