equal
deleted
inserted
replaced
369 private final Object LOCK_SET_SEED = new Object(); |
369 private final Object LOCK_SET_SEED = new Object(); |
370 |
370 |
371 // constructor, called only once from initIO() |
371 // constructor, called only once from initIO() |
372 private RandomIO(File seedFile, File nextFile) throws IOException { |
372 private RandomIO(File seedFile, File nextFile) throws IOException { |
373 this.seedFile = seedFile; |
373 this.seedFile = seedFile; |
374 seedIn = new FileInputStream(seedFile); |
374 seedIn = FileInputStreamPool.getInputStream(seedFile); |
375 nextIn = new FileInputStream(nextFile); |
375 nextIn = FileInputStreamPool.getInputStream(nextFile); |
376 nextBuffer = new byte[BUFFER_SIZE]; |
376 nextBuffer = new byte[BUFFER_SIZE]; |
377 } |
377 } |
378 |
378 |
379 // get the SHA1PRNG for mixing |
379 // get the SHA1PRNG for mixing |
380 // initialize if not yet created |
380 // initialize if not yet created |