private Random getInstanceOfRandom(long seed) throws InitializationError
    {
        String randomClass = System.getProperty("jcheck.random");
        if (randomClass != null) {
            try {
                Class<?> random = Class.forName(randomClass);
                Constructor<?> randConst = random.getConstructor(long.class);
                return (Random) randConst.newInstance(seed);
            }
            catch (Exception ex) {
                throw new InitializationError("Unable to create instance of random");
            }
        }
        
        return new Random(seed);
    }