Fixes SMACK-933.
This commit concludes migration of `smack-extensions` module, from JUnit4 to JUnit5.