--- jsr166/user.properties.sample	2003/05/29 14:56:37	1.6
+++ jsr166/user.properties.sample	2003/12/08 03:10:54	1.12
@@ -3,28 +3,12 @@
 #
 # Modify this file to taste and save as user.properties
 #
-# $Id: user.properties.sample,v 1.6 2003/05/29 14:56:37 tim Exp $
+# $Id: user.properties.sample,v 1.12 2003/12/08 03:10:54 tim Exp $
 # ---------------------------------------------------------------------------
 
 
-# ----- Which gj compiler: 1.3 or 2.0? (default 2.0) -----
-gjc.version = 2.0
-
-
-# ----- Turn on -novariance? (default true, ignored in version 1.3) -----
-gjc.novariance = true
-
-
 # ----- Turn on -warnunchecked? (default false) -----
-gjc.warnunchecked = false
-
-
-# ----- Skip java.lang.Thread* classes? (default true for 2.0, false o/w) -----
-build.nothreads = true
-
-
-# ----- Use emulation classes? (default true for Windows, false otherwise) -----
-#build.emulation = true
+build.warnunchecked = false
 
 
 # ----- Restrict to test cases matching this pattern (omit trailing "Test") -----