TableExport CSV download hangs UI with PUSH enabled automatic

We are using Vaadin 7.5.10 on Tomcat 8.0.23 on Java 8. We are also using TableExport 1.5.1.5.

We have some buttons that trigger a download (in this case, using Table CSV export) that seems to work, but then the UI appears unresponsive afterwards. Clicking on buttons in the UI has no effect after the download. If I REFRESH the browser, then it’s back working again. It seems if we disable PUSH, it does not have this hanging issue.

Here’s an example of a buton added that causes it pretty much every time:

                csvButton = new Button(vaadinUi.getMsg("ReportView.searchBar.csvButton.label"));
                csvButton.setIcon(new ThemeResource(vaadinUi.getMsg("ReportView.searchBar.csvButton.icon")));
                csvButton.setDescription(vaadinUi.getMsg("ReportView.searchBar.csvButton.tooltip"));
                csvButton.setStyleName(Reindeer.BUTTON_SMALL);
                csvButton.setDisableOnClick(true);
                csvButton.addClickListener(new Button.ClickListener() {
                    public void buttonClick(final ClickEvent event) {
                        String reportName = reportTemplate.getPathName().toString().replaceAll("/", "-");
                        CsvExport csvExport = new CsvExport(table,reportName);
                        csvExport.excludeCollapsedColumns();
                        csvExport.setUseTableFormatPropertyValue(true);
                        csvExport.setExportFileName(reportName+".csv");
                        csvExport.setDisplayTotals(false);
                        csvExport.export();
                        csvButton.setEnabled(true);
                    }
                });
                buttonGroup.addButton(csvButton);
            }

If anybody has any ideas, or what more I should look for to help report the issue, let me know. Thanks!

Vaadin 7.6 does not seem to show this problem any more, so I guess the communications/push changes resolved it.