--- jsr166/user.properties.sample	2003/05/28 00:35:05	1.3
+++ jsr166/user.properties.sample	2003/05/29 04:35:42	1.4
@@ -3,17 +3,25 @@
 #
 # Modify this file to taste and save as user.properties
 #
-# $Id: user.properties.sample,v 1.3 2003/05/28 00:35:05 tim Exp $
+# $Id: user.properties.sample,v 1.4 2003/05/29 04:35:42 tim Exp $
 # ---------------------------------------------------------------------------
 
 
-# ----- Restrict to test cases matching this pattern -----
-#testcase = PriorityQueue
+# ----- Which gj compiler: 1.3 or 2.0? (default 1.3) -----
+gjc.version = 1.3
+
+
+# ----- Turn on -novariance? (default true, ignored in version 1.3) -----
+gjc.novariance = true
 
 
-# ----- Show build warnings (-warnunchecked) -----
-#build.warnings = true
+# ----- Turn on -warnunchecked? (default false) -----
+gjc.warnunchecked = false
 
 
-# ----- Use non-native emulation classes -----
+# ----- Use emulation classes? (default true for Windows, false otherwise) -----
 #build.emulation = true
+
+
+# ----- Restrict to test cases matching this pattern (omit trailing "Test") -----
+#testcase = PriorityQueue