Object[] keys = nameSymbols.keySet().toArray(); for (int i = 0; i < keys.length; i++) result[i] = (String) keys[i];
int j = 0; for (Iterator i = nameSymbols.iterator(); i.hasNext(); j++) { result[j] = (String) i.next(); }
	public String[] getSymbols() {		String[] result = new String[nameSymbols.size()];		Object[] keys = nameSymbols.keySet().toArray();		for (int i = 0; i < keys.length; i++)			result[i] = (String) keys[i];		return result;	}