if (!open) return null;
	public String[] getFiles() {		Set set = table.keySet();		String[] keys = (String[]) set.toArray(new String[set.size()]);		String[] result = new String[keys.length];		for (int i = 0; i < keys.length; i++)			result[i] = new String(keys[i]);		return result;	}