/*
* To change this template, choose Tools | Templates
* and open the template in the editor.
*/
package csplugins.id.mapping.ui.checktree;
/**
*
* @author gjj
*/
public interface SelectionChangeListener extends java.util.EventListener {
public void selectionChanged(SelectionChangeEvent e);
}