--- jsr166/user.properties.sample	2003/09/15 14:07:37	1.11
+++ jsr166/user.properties.sample	2003/12/08 03:10:54	1.12
@@ -3,7 +3,7 @@
 #
 # Modify this file to taste and save as user.properties
 #
-# $Id: user.properties.sample,v 1.11 2003/09/15 14:07:37 tim Exp $
+# $Id: user.properties.sample,v 1.12 2003/12/08 03:10:54 tim Exp $
 # ---------------------------------------------------------------------------
 
 
@@ -11,9 +11,5 @@
 build.warnunchecked = false
 
 
-# ----- Skip java.lang.Thread* classes? (default false) -----
-build.nothreads = false
-
-
 # ----- Restrict to test cases matching this pattern (omit trailing "Test") -----
 #testcase = PriorityQueue