added taint sink into SecureRandom.setSeed() (also via constructor parameter)