package wprover;

import java.awt.event.ActionListener;
import java.awt.event.ActionEvent;

/**
 * Created by IntelliJ IDEA.
 * User: Administrator
 * Date: 2009-3-29
 * Time: 21:06:28
 * To change this template use File | Settings | File Templates.
 */
public class PropertyTimer implements ActionListener {

    GExpert gxInstance;
    GProver gp;
    
    public void actionPerformed(ActionEvent e)
    {
        
    }

    

}
