}
@Override
public void storeWindowContextData(Map<String, String> windowContextData) {
HistoryTokenizer tok = new HistoryTokenizer(windowContextData);
setWindowName(tok.tokenize());
}
private static native String getWindowName()
/*-{ var name = $wnd.name; alert(name); return name == undefined ? null : name;}-*/;