protected void selectLatestLocalVersion() {
try {
LocalVaadinVersion newestLocalVaadinVersion = LocalFileManager.getNewestLocalVaadinVersion();
if (newestLocalVaadinVersion != null) {
versionCombo.setText(newestLocalVaadinVersion.getVersionNumber());
}
} catch (CoreException e) {
// maybe there is no version downloaded - ignore
ErrorUtil.handleBackgroundException(
IStatus.WARNING,
"Failed to select the most recent cached Vaadin version, probably no versions in cache yet",
e);
}
}
