Community
Participate
Working Groups
It seems (see, e.g., http://code.google.com/p/google-web-toolkit/source/detail?r=7414) that GWT now provides a replacement for java.util.Random which can be used instead of com.google.gwt.user.client.Random.
Created attachment 192218 [details] proposed patch Here is a patch which makes the suggested change. Ed, please review.
Could we make it look just like the code that uses SecureRandom in the regular runtime?
(In reply to comment #2) > Could we make it look just like the code that uses SecureRandom in the regular > runtime? Hmm, I'll take a look.
(In reply to comment #3) > (In reply to comment #2) > > Could we make it look just like the code that uses SecureRandom in the regular > > runtime? > > Hmm, I'll take a look. Unfortunately, it looks as though they have not implemented that class. :(
I know but if you change it like this in the core runtime, Random random = new SecureRandom(); the rest of the logic still compiles, so we'd reduce the differences between the two versions if we matched the rest of the original logic...
Created attachment 192306 [details] updated patch OK, here's an updated patch which makes the source for both runtimes more similar.
Looks good. You'll change the Javadoc for the standard runtime too?
(In reply to comment #7) > Looks good. You'll change the Javadoc for the standard runtime too? No, I made the Javadoc for the GWT runtime the same as the standard one... The changes have been committed to CVS.
The changes are available in EMF 2.7 M7 or an earlier build.
