Norman Maurer
fbf0e5f4dd
Prefer JDK ThreadLocalRandom implementation over ours.
...
Motivation:
We have our own ThreadLocalRandom implementation to support older JDKs . That said we should prefer the JDK provided when running on JDK >= 7
Modification:
Using ThreadLocalRandom implementation of the JDK when possible.
Result:
Make use of JDK implementations when possible.
2017-02-16 15:44:00 -08:00
..
2017-02-09 10:14:29 +01:00
2017-02-10 14:31:00 +01:00
2017-02-16 15:44:00 -08:00
2017-02-16 17:03:55 +01:00
2015-12-26 08:34:31 +01:00
2016-02-15 15:26:15 -08:00
2016-05-17 11:16:13 +02:00
2015-09-09 14:30:21 -07:00
2016-11-21 12:35:40 -08:00
2015-05-07 06:33:36 +02:00
2015-05-07 06:33:36 +02:00
2016-05-17 11:16:13 +02:00
2016-05-17 11:16:13 +02:00
2016-05-17 11:16:13 +02:00
2016-11-22 15:17:05 -08:00
2015-12-31 08:52:30 +01:00
2015-01-23 11:06:11 -05:00
2015-12-31 08:52:30 +01:00
2015-12-31 08:52:30 +01:00
2016-05-17 11:16:13 +02:00
2015-09-09 14:30:21 -07:00
2016-05-17 11:16:13 +02:00
2016-05-17 11:16:13 +02:00
2016-05-17 11:16:13 +02:00
2016-06-17 06:27:04 +02:00
2016-02-07 21:23:29 -08:00
2016-11-01 06:32:41 +01:00
2015-08-14 21:16:42 +02:00
2016-05-17 11:16:13 +02:00
2016-08-01 21:49:33 +02:00
2016-11-01 11:13:44 +01:00
2016-05-31 09:08:33 +02:00
2016-06-17 06:35:33 +02:00
2015-08-17 09:26:50 -07:00
2016-11-21 12:35:40 -08:00
2015-04-14 16:35:17 -07:00
2016-11-21 12:35:40 -08:00
2015-10-30 15:29:44 -07:00
2016-06-14 09:23:21 -07:00
2014-06-24 18:03:33 +09:00
2014-12-31 18:39:00 +09:00
2015-08-21 11:33:10 -07:00
2014-06-05 16:51:14 +09:00
2017-02-15 14:39:14 +01:00
2017-02-14 15:36:42 +01:00
2016-12-21 20:53:02 +01:00
2015-12-27 08:36:45 +01:00
2016-02-07 21:23:29 -08:00
2017-02-14 15:36:42 +01:00
2015-12-27 08:36:45 +01:00
2016-02-07 21:23:29 -08:00
2016-08-10 11:13:26 +02:00
2015-10-30 15:29:44 -07:00
2015-08-20 09:59:23 -07:00
2016-12-15 07:54:51 +00:00
2016-09-15 15:59:21 -07:00
2016-03-20 09:34:12 +01:00
2015-04-14 16:35:17 -07:00
2017-02-15 14:39:14 +01:00
2015-08-27 08:49:58 -07:00
2016-05-17 11:16:13 +02:00
2013-02-14 12:09:16 -08:00
2016-07-27 09:29:54 +02:00
2014-06-24 18:03:33 +09:00
2015-05-07 06:33:36 +02:00