Update the junit-quickcheck libraries to the final v0.4 release.

(Updating them beyond version 0.4 would require code changes in Keenon's liblinear unit tests
which would require a fair bit of understanding of the code and these libraries, so I'm backing off that.
For a vague outline of how to adapt things, see:
https://pholser.github.io/junit-quickcheck/site/0.9.5/background/migrating.html
)

.classpath

@@ -40,8 +40,8 @@
  <classpathentry kind="lib" path="liblocal/antlr-runtime.jar"/>
  <classpathentry kind="lib" path="liblocal/hamcrest-2.2.jar " sourcepath="libsrc/hamcrest-2.2-sources.jar"/>
  <classpathentry kind="lib" path="liblocal/javaruntype.jar"/>
- <classpathentry kind="lib" path="liblocal/junit-quickcheck-core.jar"/>
- <classpathentry kind="lib" path="liblocal/junit-quickcheck-generators.jar"/>
+- <classpathentry kind="lib" path="liblocal/junit-quickcheck-core-0.4.jar" sourcepath="libsrc/junit-quickcheck-core-0.4-sources.jar"/>
+- <classpathentry kind="lib" path="liblocal/junit-quickcheck-generators-0.4.jar" sourcepath="libsrc/junit-quickcheck-generators-0.4-sources.jar"/>
  <classpathentry kind="lib" path="liblocal/junit-theories.jar"/>
  <classpathentry kind="lib" path="liblocal/ognl.jar"/>
  <classpathentry kind="output" path="classes"/>

lib/README

@@ -148,26 +148,26 @@ LAST UPDATE BY: Jeff Michels
 
 
 -----------------------------------------------------------------------
-junit.jar
+junit-4.13.1.jar
 
-ORIGINAL JAR NAME: junit-4.12.jar
+ORIGINAL JAR NAME: junit-4.13.1.jar
 
-VERSION: 4.12
+VERSION: 4.13.1
 
-RELEASE DATE: 2015/02/19
+RELEASE DATE: 2020/10/11
 
 SOURCE AVAILABLE: yes
 
 DESCRIPTION: JUnit is a simple framework to write repeatable unit tests.
 
-URL: http:https://www.junit.org/
+URL: https:https://www.junit.org/
 
 USED BY: Our junit tests.
 Not needed by CoreNLP distributions.
 
-LAST UPDATE: 2015/08/28
+LAST UPDATE: 2020/10/17
 
-LAST UPDATE BY: Ilya Sherman
+LAST UPDATE BY: Christopher Manning
 
 ----------------------------------------------------------------------
 AppleJavaExtensions.jar

liblocal/README

@@ -20,13 +20,13 @@ LAST UPDATE: 2015/10/5
 LAST UPDATE BY: Keenon Werling
 
 -----------------------------------------------------------------------
-java-hamcrest.jar
+hamcrest-2.2.jar
 
-ORIGINAL JAR NAME: java-hamcrest-2.0.0.0.jar
+ORIGINAL JAR NAME: hamcrest-2.2.jar
 
-VERSION: 2.0.0.0
+VERSION: 2.2
 
-RELEASE DATE: January 2015
+RELEASE DATE: 2019-10-16
 
 SOURCE AVAILABLE: Maven Central
 
@@ -36,9 +36,9 @@ URL: http:https://www.hamcrest.org
 
 USED BY: The JUnit library (not directly used in Stanford NLP code)
 
-LAST UPDATE: 2016-04-30
+LAST UPDATE: 2020-10-17
 
-LAST UPDATE BY: John Bauer
+LAST UPDATE BY: Christopher Manning
 
 -----------------------------------------------------------------------
 javaruntype.jar
@@ -62,13 +62,13 @@ LAST UPDATE: 2015/10/5
 LAST UPDATE BY: Keenon Werling
 
 -----------------------------------------------------------------------
-junit-quickcheck-core.jar
+junit-quickcheck-core-0.4.jar
 
-ORIGINAL JAR NAME: junit-quickcheck-core-0.4-beta-3.jar
+ORIGINAL JAR NAME: junit-quickcheck-core-0.4.jar
 
-VERSION: 0.4-beta-3
+VERSION: 0.4
 
-RELEASE DATE: Nov, 2013
+RELEASE DATE: 2014-12-30
 
 SOURCE AVAILABLE: Maven Central
 
@@ -78,18 +78,18 @@ URL: https://github.com/pholser/junit-quickcheck
 
 USED BY: loglinear package tests
 
-LAST UPDATE: 2015/10/5
+LAST UPDATE: 2020-10-18
 
-LAST UPDATE BY: Keenon Werling
+LAST UPDATE BY: Christopher Manning
 
 -----------------------------------------------------------------------
-junit-quickcheck-generators.jar
+junit-quickcheck-generators-0.4.jar
 
-ORIGINAL JAR NAME: junit-quickcheck-generators-0.4-beta-3.jar
+ORIGINAL JAR NAME: junit-quickcheck-generators-0.4.jar
 
-VERSION: 0.4-beta-3
+VERSION: 0.4
 
-RELEASE DATE: Nov, 2013
+RELEASE DATE: 2014-12-30
 
 SOURCE AVAILABLE: Maven Central
 
@@ -100,9 +100,9 @@ URL: https://github.com/pholser/junit-quickcheck
 USED BY:
 The Quickcheck library
 
-LAST UPDATE: 2015/10/5
+LAST UPDATE: 2020-10-18
 
-LAST UPDATE BY: Keenon Werling
+LAST UPDATE BY: Christopher Manning
 
 -----------------------------------------------------------------------
 junit-theories.jar

test/src/edu/stanford/nlp/loglinear/inference/CliqueTreeTest.java

@@ -18,12 +18,12 @@
 import static org.junit.Assert.*;
 
 /**
- * Created on 8/11/15.
+ * This is a really tricky thing to test in the quickcheck way, since we basically don't know what we want out of
+ * random graphs unless we run the routines that we're trying to test. The trick here is to implement exhaustive
+ * factor multiplication, which is normally super intractable but easy to get right, as ground truth.
+ *
+ * @version 8/11/15
  * @author keenon
- * <p>
- * This is a really tricky thing to test in the quickcheck way, since we basically don't know what we want out of random
- * graphs unless we run the routines that we're trying to test. The trick here is to implement exhaustive factor
- * multiplication, which is normally super intractable but easy to get right, as ground truth.
  */
 @RunWith(Theories.class)
 public class CliqueTreeTest {