From: Matti Tahvonen <matti.tahvonen@itmill.com>
Date: Fri, 30 Oct 2009 13:26:53 +0000 (+0000)
Subject: merged [9513] from 6.1
X-Git-Tag: 6.7.0.beta1~2357
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=2bd8033e4a787897b87147f60c87be6e06754db4;p=vaadin-framework.git

merged [9513] from 6.1

svn changeset:9514/svn branch:6.2
---

diff --git a/src/com/vaadin/terminal/gwt/server/CommunicationManager.java b/src/com/vaadin/terminal/gwt/server/CommunicationManager.java
index 4238aab019..c96b2b60b8 100644
--- a/src/com/vaadin/terminal/gwt/server/CommunicationManager.java
+++ b/src/com/vaadin/terminal/gwt/server/CommunicationManager.java
@@ -33,6 +33,7 @@ import java.util.LinkedList;
 import java.util.List;
 import java.util.Locale;
 import java.util.Map;
+import java.util.Random;
 import java.util.Set;
 
 import javax.servlet.ServletException;
@@ -368,7 +369,7 @@ public class CommunicationManager implements Paintable.RepaintRequestListener,
             String seckey = (String) request.getSession().getAttribute(
                     ApplicationConnection.UIDL_SECURITY_TOKEN_ID);
             if (seckey == null) {
-                seckey = "" + (int) (Math.random() * 1000000);
+                seckey = "" + new Random().nextInt(1000000);
                 request.getSession().setAttribute(
                         ApplicationConnection.UIDL_SECURITY_TOKEN_ID, seckey);
             }
@@ -1153,7 +1154,7 @@ public class CommunicationManager implements Paintable.RepaintRequestListener,
             String newWindowName = window.getName();
             while (currentlyOpenWindowsInClient.containsKey(newWindowName)) {
                 newWindowName = window.getName() + "_"
-                        + ((int) (Math.random() * 100000000));
+                        + new Random().nextInt(100000000);
             }
 
             window = application.getWindow(newWindowName);