SelectionChangeEvent.java

/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */

package csplugins.id.mapping.ui.checktree;

/**
 *
 * @author gjj
 */
public class SelectionChangeEvent extends java.util.EventObject {

    public SelectionChangeEvent(Object source) {
        super(source);
    }
}