newVector.addElement(new Option("\tRandom number seed\n", "R", 1, "-R <seed>"));
newVector.addElement(new Option("\tRandom number seed\n", "A", 1, "-A <seed>"));
	public Enumeration listOptions() {		Vector newVector = new Vector(4);		newVector.addElement(new Option("\tNumber of runs\n", "U", 1, "-U <integer>"));		newVector.addElement(new Option("\tRandom number seed\n", "R", 1, "-R <seed>"));		Enumeration enu = super.listOptions();		while (enu.hasMoreElements()) {			newVector.addElement(enu.nextElement());		}		return newVector.elements();	} // listOptions