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 }