equal
deleted
inserted
replaced
206 } |
206 } |
207 |
207 |
208 /** |
208 /** |
209 * Generates a user-specified number of random bytes. |
209 * Generates a user-specified number of random bytes. |
210 * |
210 * |
211 * @param bytes the array to be filled in with random bytes. |
211 * @param result the array to be filled in with random bytes. |
212 */ |
212 */ |
213 @Override |
213 @Override |
214 public synchronized void engineNextBytes(byte[] result) { |
214 public synchronized void engineNextBytes(byte[] result) { |
215 int index = 0; |
215 int index = 0; |
216 int todo; |
216 int todo; |