Increased minimum Java version and updated documentation

This increases the minimum Java version to 7.0, because Maven doesn't like Java 6.0, and it makes assorted improvements to the documentation.
This commit is contained in:
William Jacobs
2020-05-30 10:36:45 -04:00
parent 426838f33e
commit 1069dc9700
10 changed files with 17 additions and 18 deletions

View File

@@ -4,10 +4,7 @@ import java.util.Random;
/** A vertex in a ConnGraph. See the comments for ConnGraph. */
public class ConnVertex {
/**
* The thread-local random number generator we use by default to set the "hash" field. We could use
* ThreadLocalRandom instead, but ThreadLocalRandom isn't available in Java 6.0 and below.
*/
/** The thread-local random number generator we use by default to set the "hash" field. */
private static final ThreadLocal<Random> random = new ThreadLocal<Random>() {
@Override
protected Random initialValue() {