class RandomAdaptor extends Random implements RandomGenerator {

    public static Random createAdaptor(RandomGenerator randomGenerator) {
        return new RandomAdaptor(randomGenerator);
    }

    @SuppressWarnings("unused") private  RandomAdaptor();
    public  RandomAdaptor(RandomGenerator randomGenerator);

}