Use the more generic GWT Element class

diff --git a/src/com/vaadin/terminal/gwt/client/ComputedStyle.java b/src/com/vaadin/terminal/gwt/client/ComputedStyle.java
index 662cb5fc3483f5898e75e3663554f6e020bb08e0..ff976468e711a51ea01d49dc9a1530c9bedcccc8 100644 (file)
--- a/src/com/vaadin/terminal/gwt/client/ComputedStyle.java
+++ b/src/com/vaadin/terminal/gwt/client/ComputedStyle.java
@@ -4,7 +4,7 @@
 package com.vaadin.terminal.gwt.client;
 
 import com.google.gwt.core.client.JavaScriptObject;
-import com.google.gwt.user.client.Element;
+import com.google.gwt.dom.client.Element;
 
 public class ComputedStyle {