Enumeration en = super.listOptions(); while (en.hasMoreElements()) newVector.addElement(en.nextElement());
	public Enumeration listOptions() {	  Vector newVector = new Vector(0);	  newVector.addElement(new Option("\tName of file containing network structure in BIF format\n", 					 "B", 1, "-B <BIF File>"));	  return newVector.elements();	}