// $Id: MyRandom.java,v 1.5 2007/11/07 00:24:09 zahorjan Exp $

import java.util.*;

/**
 * This class is a simple subclass of java.util.Random that
 * allows repeatability -- it can either use an initialization
 * seed or not.  Which it does is controled by REPEATABLE_RUN
 * in Const.java.
 */

public class MyRandom extends Random {
    MyRandom() {
        if ( ConstConfig.REPEATABLE_RUN ) setSeed(ConstConfig.MYRANDOM_SEED);
    }
}