Add deprecation message to unused constant

Change-Id: Ifcc4e021fa3843129f6501d6526e4d4f5c6930fb

diff --git a/server/src/com/vaadin/server/Constants.java b/server/src/com/vaadin/server/Constants.java
index ab91ee021c1322fe80560186bc6fbaa60ab3abbe..8c379abe06062dc629beef3a23c5a25ebab9e422 100644 (file)
--- a/server/src/com/vaadin/server/Constants.java
+++ b/server/src/com/vaadin/server/Constants.java
@@ -146,6 +146,11 @@ public interface Constants {
     // Widget set parameter name
     static final String PARAMETER_WIDGETSET = "widgetset";
 
+    /**
+     * @deprecated As of 7.1, this message is no longer used and might be
+     *             removed from the code.
+     */
+    @Deprecated
     static final String ERROR_NO_UI_FOUND = "No UIProvider returned a UI for the request.";
 
     static final String DEFAULT_THEME_NAME = "reindeer";