public static native void hardReload() /*-{
  $wnd.location.reload(true);
}-*/;