package jas2.plugin;
import java.util.EventListener;

public interface PageListener extends EventListener
{
	void pageChanged(PageEvent e);
}