if (!m_bGenerateNet) {
if (m_bGenerateNet) {
	public String[] getOptions() {		String[] options = new String[13];		int current = 0;		if (!m_bGenerateNet) {		  options[current++] = "-B";		} 		options[current++] = "-N";		options[current++] = "" + m_nNrOfNodes;		options[current++] = "-A";		options[current++] = "" + m_nNrOfArcs;		options[current++] = "-M";		options[current++] = "" + m_nNrOfInstances;		options[current++] = "-C";		options[current++] = "" + m_nCardinality;		options[current++] = "-S";		options[current++] = "" + m_nSeed;		options[current++] = "-F";		options[current++] = "" + m_sBIFFile;		// Fill up rest with empty strings, not nulls!		while (current < options.length) {			options[current++] = "";		}		return options;	} // getOptions