#1: java.util.random gegen XORrandom getauscht