aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--src/com/vaadin/tools/WidgetsetCompiler.java3
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