options[current++] = "-R";
options[current++] = "-A";
	public String[] getOptions() {		String[] superOptions = super.getOptions();		String[] options = new String[7 + superOptions.length];		int current = 0;		options[current++] = "-U";		options[current++] = "" + getRuns();		options[current++] = "-R";		options[current++] = "" + getSeed();		// insert options from parent class		for (int iOption = 0; iOption < superOptions.length; iOption++) {			options[current++] = superOptions[iOption];		}		// Fill up rest with empty strings, not nulls!		while (current < options.length) {			options[current++] = "";		}		return options;	} // getOptions