Merged changes to 6.4 (FindBugs results, #5111, label and javadoc corrections)

svn changeset:13471/svn branch:6.4

6 files changed, 30 insertions, 20 deletions

diff --git a/src/com/vaadin/terminal/gwt/client/DateTimeService.java b/src/com/vaadin/terminal/gwt/client/DateTimeService.java
index 7bc8e8eba4..0693994a9e 100644
--- a/src/com/vaadin/terminal/gwt/client/DateTimeService.java
+++ b/src/com/vaadin/terminal/gwt/client/DateTimeService.java
@@ -195,27 +195,27 @@ public class DateTimeService {
         if (resolution == RESOLUTION_YEAR) {

             return (start <= target && end >= target);

         }

-        start += s.getMonth() * 100000000;

-        end += e.getMonth() * 100000000;

-        target += date.getMonth() * 100000000;

+        start += s.getMonth() * 100000000l;

+        end += e.getMonth() * 100000000l;

+        target += date.getMonth() * 100000000l;

         if (resolution == RESOLUTION_MONTH) {

             return (start <= target && end >= target);

         }

-        start += s.getDate() * 1000000;

-        end += e.getDate() * 1000000;

-        target += date.getDate() * 1000000;

+        start += s.getDate() * 1000000l;

+        end += e.getDate() * 1000000l;

+        target += date.getDate() * 1000000l;

         if (resolution == RESOLUTION_DAY) {

             return (start <= target && end >= target);

         }

-        start += s.getHours() * 10000;

-        end += e.getHours() * 10000;

-        target += date.getHours() * 10000;

+        start += s.getHours() * 10000l;

+        end += e.getHours() * 10000l;

+        target += date.getHours() * 10000l;

         if (resolution == RESOLUTION_HOUR) {

             return (start <= target && end >= target);

         }

-        start += s.getMinutes() * 100;

-        end += e.getMinutes() * 100;

-        target += date.getMinutes() * 100;

+        start += s.getMinutes() * 100l;

+        end += e.getMinutes() * 100l;

+        target += date.getMinutes() * 100l;

         if (resolution == RESOLUTION_MIN) {

             return (start <= target && end >= target);

         }

diff --git a/src/com/vaadin/terminal/gwt/client/RenderInformation.java b/src/com/vaadin/terminal/gwt/client/RenderInformation.java
index a91c0d7e24..6fb92c63e4 100644
--- a/src/com/vaadin/terminal/gwt/client/RenderInformation.java
+++ b/src/com/vaadin/terminal/gwt/client/RenderInformation.java
@@ -3,7 +3,7 @@
  */
 package com.vaadin.terminal.gwt.client;

 

-import com.google.gwt.user.client.Element;

+import com.google.gwt.user.client.Element;
 

 /**

  * Contains size information about a rendered container and its content area.

@@ -90,9 +90,17 @@ public class RenderInformation {
         private int width, height;

 

         @Override

-        public boolean equals(Object obj) {

+        public boolean equals(Object obj) {
+            if (!(obj instanceof Size)) {
+                return false;
+            }

             Size other = (Size) obj;

             return other.width == width && other.height == height;

+        }
+
+        @Override
+        public int hashCode() {
+            return (width << 8) | height;
         }

 

         public Size() {

diff --git a/src/com/vaadin/terminal/gwt/client/VDebugConsole.java b/src/com/vaadin/terminal/gwt/client/VDebugConsole.java
index dae9bdfa88..427cd097b1 100755
--- a/src/com/vaadin/terminal/gwt/client/VDebugConsole.java
+++ b/src/com/vaadin/terminal/gwt/client/VDebugConsole.java
@@ -365,7 +365,7 @@ public final class VDebugConsole extends VOverlay implements Console {
             str = msg.toString();
         }
         panel.add((new Label(str)));
-        consoleLog(msg.toString());
+        consoleLog(str);
     }
 
     /*
diff --git a/src/com/vaadin/terminal/gwt/client/ui/VMarginInfo.java b/src/com/vaadin/terminal/gwt/client/ui/VMarginInfo.java
index 961624dcd7..2fb047c007 100644
--- a/src/com/vaadin/terminal/gwt/client/ui/VMarginInfo.java
+++ b/src/com/vaadin/terminal/gwt/client/ui/VMarginInfo.java
@@ -73,4 +73,9 @@ public class VMarginInfo implements Serializable {
         return ((VMarginInfo) obj).bitMask == bitMask;
     }
 
+    @Override
+    public int hashCode() {
+        return bitMask;
+    }
+
 }
diff --git a/src/com/vaadin/terminal/gwt/client/ui/VPanel.java b/src/com/vaadin/terminal/gwt/client/ui/VPanel.java
index d41a739655..dfceb55416 100644
--- a/src/com/vaadin/terminal/gwt/client/ui/VPanel.java
+++ b/src/com/vaadin/terminal/gwt/client/ui/VPanel.java
@@ -394,7 +394,7 @@ public class VPanel extends SimplePanel implements Container {
     public void setHeight(String height) {
         this.height = height;
         super.setHeight(height);
-        if (height != null && height != "") {
+        if (height != null && !"".equals(height)) {
             final int targetHeight = getOffsetHeight();
             int containerHeight = targetHeight
                     - captionNode.getParentElement().getOffsetHeight()
diff --git a/src/com/vaadin/terminal/gwt/server/DragAndDropService.java b/src/com/vaadin/terminal/gwt/server/DragAndDropService.java
index 9f8e3ba17e..4bc8d386b4 100644
--- a/src/com/vaadin/terminal/gwt/server/DragAndDropService.java
+++ b/src/com/vaadin/terminal/gwt/server/DragAndDropService.java
@@ -47,10 +47,7 @@ public class DragAndDropService implements VariableOwner {
                     + " must implement DropTarget");
             return;
         }
-        if (owner == null) {
-            System.err.println("DropHandler owner is null");
-            return;
-        }
+        // owner cannot be null here
 
         DropTarget dropTarget = (DropTarget) owner;
         lastVisitId = (Integer) variables.get("visitId");