Issue #2020209 by alexpott, YesCT: Fixed random failures due to non uniqueness of randomString() and randomName().