--- jsr166/user.properties.sample	2003/05/29 04:35:42	1.4
+++ jsr166/user.properties.sample	2003/05/29 12:54:10	1.5
@@ -3,7 +3,7 @@
 #
 # Modify this file to taste and save as user.properties
 #
-# $Id: user.properties.sample,v 1.4 2003/05/29 04:35:42 tim Exp $
+# $Id: user.properties.sample,v 1.5 2003/05/29 12:54:10 tim Exp $
 # ---------------------------------------------------------------------------
 
 
@@ -19,6 +19,10 @@ gjc.novariance = true
 gjc.warnunchecked = false
 
 
+# ----- Skip the java.lang.Thread* classes? (default false) -----
+build.nothreads = false
+
+
 # ----- Use emulation classes? (default true for Windows, false otherwise) -----
 #build.emulation = true