Stefan Schuhbaeck authored May 08, 2019 and Daniel Lehmberg committed May 08, 2019

The seed seems to work correctly since java11. Therefore reduce the
sim time to speed up the CI. The test are NOT removed and still
executed each time to ensure the seeds kepp working.