use same random seed for shuffling feature vectors.

Author: parrt

java/codebuff.ipr

@@ -17,7 +17,7 @@
       <profile default="true" name="Default" enabled="false">
         <processorPath useClasspath="true" />
       </profile>
-      <profile default="false" name="Annotation profile for codebuff" enabled="true">
+      <profile default="false" name="Maven default annotation processors profile" enabled="true">
         <sourceOutputDir name="target/generated-sources/annotations" />
         <sourceTestOutputDir name="target/generated-test-sources/test-annotations" />
         <outputRelativeToContentRoot value="true" />

java/src/org/antlr/codebuff/Corpus.java

@@ -9,6 +9,8 @@
 import java.util.Random;
 
 public class Corpus {
+	public static final int FEATURE_VECTOR_RANDOM_SEED = 314159; // need randomness but use same seed to get reproducibility
+
 	public static final int NUM_DEPENDENT_VARS = 3;
 	public static final int INDEX_FEATURE_NEWLINES = 0;
 	public static final int INDEX_FEATURE_WS = 1;
@@ -51,6 +53,7 @@ public Corpus(List<InputDocument> documents,
 	 */
 	public void randomShuffleInPlace() {
 		Random r = new Random();
+		r.setSeed(FEATURE_VECTOR_RANDOM_SEED);
 		// for i from n−1 downto 1 do
 		int n = X.size();
 		for (int i=n-1; i>=1; i--) {