implement Java 17 j.u.r.RandomGenerator#isDeprecated()

Author: stefan-zobel

src/main/java/java9/util/SplittableRandom.java

@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2013, 2015 Oracle and/or its affiliates. All rights reserved.
+ * Copyright (c) 2013, 2021 Oracle and/or its affiliates. All rights reserved.
  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
  *
  * This code is free software; you can redistribute it and/or modify it
@@ -843,6 +843,26 @@ public DoubleStream doubles(double randomNumberOrigin, double randomNumberBound)
              false);
     }
 
+    /**
+     * Return true if the implementation of RandomGenerator (algorithm) has been
+     * marked for deprecation.
+     *
+     * <p><b>Implementation Requirements:</b><br>
+     * Random number generator algorithms evolve over time; new
+     * algorithms will be introduced and old algorithms will
+     * lose standing. If an older algorithm is deemed unsuitable
+     * for continued use, it will be marked as deprecated to indicate
+     * that it may be removed at some point in the future.
+     *
+     * @return true if the implementation of RandomGenerator (algorithm) has been
+     *         marked for deprecation
+     *
+     * @since 17
+     */
+    public boolean isDeprecated() {
+        return false;
+    }
+
     /**
      * Spliterator for int streams.  We multiplex the four int
      * versions into one class by treating a bound less than origin as

src/main/java/java9/util/concurrent/ThreadLocalRandom.java

@@ -729,6 +729,26 @@ public DoubleStream doubles(double randomNumberOrigin, double randomNumberBound)
              false);
     }
 
+    /**
+     * Return true if the implementation of RandomGenerator (algorithm) has been
+     * marked for deprecation.
+     *
+     * <p><b>Implementation Requirements:</b><br>
+     * Random number generator algorithms evolve over time; new
+     * algorithms will be introduced and old algorithms will
+     * lose standing. If an older algorithm is deemed unsuitable
+     * for continued use, it will be marked as deprecated to indicate
+     * that it may be removed at some point in the future.
+     *
+     * @return true if the implementation of RandomGenerator (algorithm) has been
+     *         marked for deprecation
+     *
+     * @since 17
+     */
+    public boolean isDeprecated() {
+        return false;
+    }
+
     /**
      * Spliterator for int streams.  We multiplex the four int
      * versions into one class by treating a bound less than origin as