From cebb112d1e4781751fa3643af3374fe4c7f98bc2 Mon Sep 17 00:00:00 2001
From: Artur Signell <artur.signell@itmill.com>
Date: Fri, 10 Dec 2010 11:37:42 +0000
Subject: [PATCH] #6129 - Widgetset compilation fails when encountering a
 NoClassDefFoundError

svn changeset:16446/svn branch:6.5
---
 .../terminal/gwt/widgetsetutils/ClassPathExplorer.java      | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/com/vaadin/terminal/gwt/widgetsetutils/ClassPathExplorer.java b/src/com/vaadin/terminal/gwt/widgetsetutils/ClassPathExplorer.java
index 0fa618ec4f..585bd4c79a 100644
--- a/src/com/vaadin/terminal/gwt/widgetsetutils/ClassPathExplorer.java
+++ b/src/com/vaadin/terminal/gwt/widgetsetutils/ClassPathExplorer.java
@@ -581,6 +581,12 @@ public class ClassPathExplorer {
             // Don't show to avoid flooding the user with irrelevant messages
             logLevel = Level.FINE;
             errorToShow = e;
+        } catch (Error t) {
+            // At least sometimes GWT throws Error instead of
+            // NoClassDefFoundError.
+            // Don't show to avoid flooding the user with irrelevant messages
+            logLevel = Level.FINE;
+            errorToShow = t;
         } finally {
             System.setErr(err);
             System.setOut(out);
-- 
2.39.5