public void addExtensionFilter(String extension){
  if (ext == null) {
    ext=new Vector();
  }
  ext.addElement(extension);
}

public void addExtensionFilter ( String extension ) { if ( ext == null ) { ext = new Vector ( ) ; } ext . addElement ( extension ) ; }
shows only files with the given extension
