KeyExchangeTest after ExceptionTest fails #2
Description
If KeyExchangeTest is executed after ExceptionTest the first test of DoubleKeyExchange fails.
Currently, as a workaround, the verticles of the KeyExchangeTest are deployed on different ports than the verticles of the ExceptionTest and the tests pass. Nevertheless, this behaviour must be analyzed.