/*
 * Created on September 15. 2005
 */

package de.renew.fa;

import CH.ifa.draw.io.SimpleFileFilter;


/**
 * @author Lawrence Cabac
 */
public class JflapFileFilter extends SimpleFileFilter {
    /**
     * Creates a new JflapFileFilter with file name extension and description.
     */
    public JflapFileFilter() {
        this.setExtension("jff");
        this.setDescription("JFLAP File (v4) (*." + this.getExtension() + ")");
    }
}