equal
deleted
inserted
replaced
308 "Software"); |
308 "Software"); |
309 |
309 |
310 } |
310 } |
311 |
311 |
312 // name of the *System* property, takes precedence over PROP_RNDSOURCE |
312 // name of the *System* property, takes precedence over PROP_RNDSOURCE |
313 private final static String PROP_EGD = "java.security.egd"; |
313 private static final String PROP_EGD = "java.security.egd"; |
314 // name of the *Security* property |
314 // name of the *Security* property |
315 private final static String PROP_RNDSOURCE = "securerandom.source"; |
315 private static final String PROP_RNDSOURCE = "securerandom.source"; |
316 |
316 |
317 final static String URL_DEV_RANDOM = "file:/dev/random"; |
317 static final String URL_DEV_RANDOM = "file:/dev/random"; |
318 final static String URL_DEV_URANDOM = "file:/dev/urandom"; |
318 static final String URL_DEV_URANDOM = "file:/dev/urandom"; |
319 |
319 |
320 private static final String seedSource; |
320 private static final String seedSource; |
321 |
321 |
322 static { |
322 static { |
323 seedSource = AccessController.doPrivileged( |
323 seedSource = AccessController.doPrivileged( |