Is this necessary? I think that the runner (minijasminenode) will ignore duplicates anyway, and there's a possibility that they're intentional (see #890)