diff -r 024b165f8f21 -r 848b2cc261e6 javaquery/api/src/main/java/org/apidesign/bck2brwsr/htmlpage/api/HTML5TextMetrics.java
--- a/javaquery/api/src/main/java/org/apidesign/bck2brwsr/htmlpage/api/HTML5TextMetrics.java	Fri May 17 12:06:55 2013 +0200
+++ b/javaquery/api/src/main/java/org/apidesign/bck2brwsr/htmlpage/api/HTML5TextMetrics.java	Fri May 17 13:50:31 2013 +0200
@@ -38,10 +38,12 @@
     @JavaScriptBody(args = {"textMetrics"}, body = "return textMetrics.height;")
     private native double getHeight(Object textMetrics);
 
+    @Override
     public double getWidth() {
         return getWidth(textMetrics);
     }
 
+    @Override
     public double getHeight() {
         return getHeight(textMetrics);