--- jsr166/user.properties.sample	2003/05/18 18:10:02	1.2
+++ jsr166/user.properties.sample	2003/09/15 14:07:37	1.11
@@ -3,13 +3,17 @@
 #
 # Modify this file to taste and save as user.properties
 #
-# $Id: user.properties.sample,v 1.2 2003/05/18 18:10:02 tim Exp $
+# $Id: user.properties.sample,v 1.11 2003/09/15 14:07:37 tim Exp $
 # ---------------------------------------------------------------------------
 
 
-# ----- Restrict to test cases matching this pattern -----
-#testcase = PriorityQueue
+# ----- Turn on -warnunchecked? (default false) -----
+build.warnunchecked = false
+
 
+# ----- Skip java.lang.Thread* classes? (default false) -----
+build.nothreads = false
 
-# ----- Show build warnings (-warnunchecked) -----
-#build.warnings = true
+
+# ----- Restrict to test cases matching this pattern (omit trailing "Test") -----
+#testcase = PriorityQueue