1    package gui.htmlconverter; 
2     
3    import java.io.File; 
4    import java.io.FilenameFilter; 
5     
6    // Thanks to 
7    // curry@IMPACT.xerox.com (Don Curry) 
8    // for his simplifying suggestion here... 
9     
10   class CFilter2 implements FilenameFilter { 
11       public boolean accept(File dir, String name) { 
12           return name.endsWith(".c"); 
13       } 
14   }