Deprecate WidgetSetCompiler, not needed with Java6 (but used in Eclipse)

diff --git a/src/com/vaadin/tools/WidgetsetCompiler.java b/src/com/vaadin/tools/WidgetsetCompiler.java
index 323fb17e32f7b123613ef88ce45143b737a5bb4e..618313a8d8ec401f7b84d42fe8614d1d8e1f241a 100644 (file)
--- a/src/com/vaadin/tools/WidgetsetCompiler.java
+++ b/src/com/vaadin/tools/WidgetsetCompiler.java
@@ -30,7 +30,10 @@ import com.vaadin.terminal.gwt.widgetsetutils.WidgetSetBuilder;
  * The source directory containing widgetset and related classes must be
  * included in the classpath, as well as the gwt-dev-[platform].jar and other
  * relevant JARs.
+ * 
+ * @deprecated with Java 6, can use com.google.gwt.dev.Compiler directly (also in Eclipse plug-in etc.)
  */
+@Deprecated
 public class WidgetsetCompiler {
 
     private static final Logger logger = Logger