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