package mit.rmi.event ;

public class ServerNameEvent
extends mit.util.event.TextEvent
{
	public ServerNameEvent( mit.rmi.event.ServerNameRaiser source )
	{
		super( source ) ;
	}
}