Plug-in tests in edu.kit.ipd.descartes.solving.transformations.dmm2qpn.test do not run on build server
The tests in edu.kit.ipd.descartes.solving.transformations.dmm2qpn.test have to be run as JUnit plug-in tests. While the tests are valid in the Eclipse workspace, running the tests during the maven build fails.
The current build configuration skips the tests in edu.kit.ipd.descartes.solving.transformations.dmm2qpn.test