1 files changed, 2 insertions, 0 deletions
diff --git a/src/com/vaadin/terminal/gwt/client/JavaScriptExtensionState.java b/src/com/vaadin/terminal/gwt/client/JavaScriptExtensionState.java
index e7bfbc4bb2..82fcc51f8a 100644
--- a/src/com/vaadin/terminal/gwt/client/JavaScriptExtensionState.java
+++ b/src/com/vaadin/terminal/gwt/client/JavaScriptExtensionState.java
@@ -18,6 +18,7 @@ public class JavaScriptExtensionState extends SharedState implements
     private Set<String> callbackNames = new HashSet<String>();
     private Map<String, Set<String>> rpcInterfaces = new HashMap<String, Set<String>>();
 
+    @Override
     public Set<String> getCallbackNames() {
         return callbackNames;
     }
@@ -26,6 +27,7 @@ public class JavaScriptExtensionState extends SharedState implements
         this.callbackNames = callbackNames;
     }
 
+    @Override
     public Map<String, Set<String>> getRpcInterfaces() {
         return rpcInterfaces;
     }