if ("htm".equals(extension) || "html".equals(extension)) {
if ("txt".equals(extension)) {
		public final boolean accept(File f) {			if (f.isDirectory()) {				return true;			}			String s = f.getName();			int i = s.lastIndexOf('.');			if (i > 0 &&  i < s.length() - 1) {				String extension = s.substring(i + 1).toLowerCase();				if ("htm".equals(extension) || "html".equals(extension)) {					return true;				} else {					return false;				}			}			return false;		}