If you run tests from the JUnit plugin then you can rerun
the erred tests first. However, we then get duplicate tests
so this patch removes any duplicates.