for (int iOption = 0; iOption < superOptions.length; iOption++) { options[current++] = superOptions[iOption]; }
	public String [] getOptions() {	  String [] options  = new String [2];	  int current = 0;	  options[current++] = "-B";	  options[current++] = "" + getBIFFile();	  // Fill up rest with empty strings, not nulls!	  while (current < options.length) {		options[current++] = "";	  }	  return options;	}