package mit.krb4.event ;

public class ValidUserEvent
extends mit.event.Event
{
	public ValidUserEvent( mit.krb4.event.ValidUserRaiser source )
	{
		super( source ) ;
	}
}