--- jsr166/user.properties.sample	2003/05/18 11:56:21	1.1
+++ jsr166/user.properties.sample	2003/06/25 20:44:31	1.8
@@ -3,8 +3,29 @@
 #
 # Modify this file to taste and save as user.properties
 #
-# $Id: user.properties.sample,v 1.1 2003/05/18 11:56:21 tim Exp $
+# $Id: user.properties.sample,v 1.8 2003/06/25 20:44:31 tim Exp $
 # ---------------------------------------------------------------------------
 
-# ----- Restrict to test cases matching this pattern -----
-#testcase = Executors
+
+# ----- Which gj compiler: 2.0 or 2.1? (default 2.0) -----
+gjc.version = 2.0
+
+
+# ----- Turn on -novariance? (default true, ignored in version 2.1) -----
+gjc.novariance = true
+
+
+# ----- Turn on -warnunchecked? (default false) -----
+gjc.warnunchecked = false
+
+
+# ----- Skip java.lang.Thread* classes? (default false) -----
+build.nothreads = false
+
+
+# ----- Use emulation classes? (default true for Windows, false otherwise) -----
+#build.emulation = true
+
+
+# ----- Restrict to test cases matching this pattern (omit trailing "Test") -----
+#testcase = PriorityQueue