sb.append('$');
	void setNameFilter(String nameFilter) {		name = nameFilter;		StringBuffer sb = new StringBuffer('^');		for (int i = 0; i < nameFilter.length; i++) {			char c = nameFilter.charAt(i);			switch(c) {				case '.':	sb.append("\\."); break;				case '*':	sb.append(".*"); break;				case '?':	sb.append('.'); break;				default:	sb.append(c); break;			}			sb.append('$');		}		try {			nameRE = new RE(sb.toString());		} catch (RESyntaxException ex) {			System.err.println("For shame! " + ex);		}	}