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++] = "-S";		switch (m_nScoreType) {			case (Scoreable.BAYES) :				options[current++] = "BAYES";				break;			case (Scoreable.BDeu) :				options[current++] = "BDeu";				break;			case (Scoreable.MDL) :				options[current++] = "MDL";				break;			case (Scoreable.ENTROPY) :				options[current++] = "ENTROPY";				break;			case (Scoreable.AIC) :				options[current++] = "AIC";				break;		}		// Fill up rest with empty strings, not nulls!		while (current < options.length) {			options[current++] = "";		}		return options;	} // getOptions