for (int iOption = 0; iOption < superOptions.length; iOption++) { options[current++] = superOptions[iOption]; }
	public String [] getOptions() {	  String [] options  = new String [4];	  int current = 0;	  if (m_nMaxNrOfParents != 10000) {		options[current++] = "-P";		options[current++] = "" + m_nMaxNrOfParents;	  } 	  if (!m_bInitAsNaiveBayes) {		options[current++] = "-N";	  }	  if (getRandomOrder()) {		options[current++] = "-R";	  }	  while (current < options.length) {		options[current++] = "";	  }	  // Fill up rest with empty strings, not nulls!	  return options;	}