How to make use of Javascript Overlay types of GWT in Vaadin

Hi,

I am trying to use to the GWT Javascript Overlay types in my Vaadin project. I created a class called EventData:

public class EventData extends JavaScriptObject {

	  protected EventData() { }

	  public final native String getAction() /*-{ return this.action; }-*/;
}

Now in one of my client side counterpart of a Vaadin component, I have written a native JS method, inside of which I want to cast the object coming from Javascript into this overlay type. But I am not sure how to include it in my project. Can you pl. help?

You can include external javascript libraries with defining a script tag in module xml (MyCustomWidgetset.gwt.xml).

<script src="_js-url_"/>