You are viewing a plain text version of this content. The canonical link for it is here.

Posted to dev@tomcat.apache.org by Serge Knystautas <se...@lokitech.com> on 1999/12/13 03:58:06 UTC

Re: GRRR! Re: cvs commit: jakarta-tools/ant/src/main/org/apache/tools/ant/taskdefs Javadoc2.java

rubys@us.ibm.com wrote:
> 
> >stefano     99/12/10 14:30:39
> >
> > Index: Javadoc2.java
> > ===================================================================
> > +    class JavaFilter implements FileFilter {
> > +        public boolean accept(File file) {
> > +            return (file.getName().endsWith(".java") ||
> file.isDirectory());
> > +        }
> > +    }
> 
> Java.io.FileFilter was introduced in 1.2.

You should probably substitute this for java.io.FilenameFilter as it'll
do what you want it to do and has been around since JDK 1.0.

Serge Knystautas
Loki Technologies
http://www.lokitech.com/