Crypto: Copilot suggested code changes.

Author: bdrodes

java/ql/test/experimental/query-tests/quantum/NonceReuse/NonceReuse.expected

@@ -1,4 +1,4 @@
-| Test.java:48:47:48:52 | Nonce | Reuse with nonce $@ | Test.java:57:47:57:52 | Nonce | Nonce |
-| Test.java:57:47:57:52 | Nonce | Reuse with nonce $@ | Test.java:48:47:48:52 | Nonce | Nonce |
-| Test.java:85:48:85:54 | Nonce | Reuse with nonce $@ | Test.java:91:49:91:55 | Nonce | Nonce |
-| Test.java:91:49:91:55 | Nonce | Reuse with nonce $@ | Test.java:85:48:85:54 | Nonce | Nonce |
+| Test.java:47:47:47:52 | Nonce | Reuse with nonce $@ | Test.java:56:47:56:52 | Nonce | Nonce |
+| Test.java:56:47:56:52 | Nonce | Reuse with nonce $@ | Test.java:47:47:47:52 | Nonce | Nonce |
+| Test.java:84:48:84:54 | Nonce | Reuse with nonce $@ | Test.java:90:49:90:55 | Nonce | Nonce |
+| Test.java:90:49:90:55 | Nonce | Reuse with nonce $@ | Test.java:84:48:84:54 | Nonce | Nonce |

java/ql/test/experimental/query-tests/quantum/NonceReuse/Test.java

@@ -6,7 +6,6 @@
 import javax.crypto.spec.GCMParameterSpec;
 import java.security.*;
 import java.util.Base64;
-import java.util.random.*;
 import java.util.Properties;
 import java.util.Random;
 import java.io.FileInputStream;