From 44f5e4a252a8053dece47f94556af82643ec3874 Mon Sep 17 00:00:00 2001
From: Henri Sara <henri.sara@itmill.com>
Date: Tue, 27 Oct 2009 15:08:16 +0000
Subject: [PATCH] Corrections to support for multiple source paths in widgetset
 builder

svn changeset:9412/svn branch:6.2
---
 .../gwt/widgetsetutils/ClassPathExplorer.java    | 16 +++++++++++++++-
 1 file changed, 15 insertions(+), 1 deletion(-)

diff --git a/src/com/vaadin/terminal/gwt/widgetsetutils/ClassPathExplorer.java b/src/com/vaadin/terminal/gwt/widgetsetutils/ClassPathExplorer.java
index ff8786a6b5..6a45860803 100644
--- a/src/com/vaadin/terminal/gwt/widgetsetutils/ClassPathExplorer.java
+++ b/src/com/vaadin/terminal/gwt/widgetsetutils/ClassPathExplorer.java
@@ -98,7 +98,21 @@ public class ClassPathExplorer {
                             files[i].length() - 8);
                     classname = classpathLocations.get(location) + "."
                             + classname;
-                    widgetsets.put(classname, location);
+                    if (!widgetsets.containsKey(classname)) {
+                        String packageName = classpathLocations.get(location);
+                        String packagePath = packageName.replaceAll("\\.", "/");
+                        String basePath = location.getFile().replaceAll(
+                                "/" + packagePath + "$", "");
+                        try {
+                            URL url = new URL(location.getProtocol(), location
+                                    .getHost(), location.getPort(), basePath);
+                            widgetsets.put(classname, url);
+                        } catch (MalformedURLException e) {
+                            // should never happen as based on an existing URL,
+                            // only changing end of file name/path part
+                            e.printStackTrace();
+                        }
+                    }
                 }
             }
         } else {
-- 
2.39.5