diff options
-rw-r--r-- | src/com/vaadin/tools/WidgetsetCompiler.java | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/com/vaadin/tools/WidgetsetCompiler.java b/src/com/vaadin/tools/WidgetsetCompiler.java index 323fb17e32..618313a8d8 100644 --- 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 |