package def.dom;
public class NavigationEventWithReferrer extends NavigationEvent {
    public java.lang.String referer;
    public static NavigationEventWithReferrer prototype;
    public NavigationEventWithReferrer(){}
}

