001    package nl.cwi.sen1.gui.plugin;
002    
003    import java.util.EventObject;
004    
005    public class EditorModifiedEvent extends EventObject {
006        public EditorModifiedEvent(Object source) {
007            super(source);
008        }
009    }