class ReplayablePseudoRandom {

    public double nextDouble() {
        int randMax = Integer.MAX_VALUE;
        return (this.random() / (double) randMax) / 2;
    }

    public  ReplayablePseudoRandom();
    public  ReplayablePseudoRandom(double seed);

}