package mit.swing.event ;

public class DocumentEvent
extends mit.event.Event
{
	public DocumentEvent( mit.swing.event.DocumentRaiser source )
	{
		super( source ) ;
	}
}