Files in /usr/share/doc/openjdk-17-jre-headless/api/java.base/java/util/random/class-use

RandomGenerator.ArbitrarilyJumpableGenerator.html	RandomGenerator.JumpableGenerator.html	RandomGenerator.LeapableGenerator.html
RandomGenerator.SplittableGenerator.html	RandomGenerator.StreamableGenerator.html	RandomGenerator.html
RandomGeneratorFactory.html

Generated by dwww version 1.15 on Thu Jun 27 16:30:01 CEST 2024.