--- jsr166/user.properties.sample	2003/07/26 13:17:51	1.10
+++ jsr166/user.properties.sample	2016/03/26 15:09:08	1.13
@@ -2,30 +2,15 @@
 # Developer-specific properties
 #
 # Modify this file to taste and save as user.properties
-#
-# $Id: user.properties.sample,v 1.10 2003/07/26 13:17:51 tim Exp $
 # ---------------------------------------------------------------------------
 
 
-# ----- Which gj compiler: 2.0 or 2.2? (default 2.2) -----
-gjc.version = 2.2
-
-
-# ----- Turn on -novariance? (default true, ignored in version 2.2) -----
-gjc.novariance = true
-
-
-# ----- Turn on -warnunchecked? (default false) -----
-gjc.warnunchecked = false
-
-
-# ----- Skip java.lang.Thread* classes? (default false) -----
-build.nothreads = false
-
-
-# ----- Use emulation classes? (default true for Windows, false otherwise) -----
-#build.emulation = true
-
-
-# ----- Restrict to test cases matching this pattern (omit trailing "Test") -----
-#testcase = PriorityQueue
+# ----- Where to find executable jdks -----
+#jdk9.home = ...
+#jdk8.home = ...
+#jdk7.home = ...
+
+# ----- Where to find jdk source trees (used to generate javadocs) -----
+#jdk9.src.home = ...
+#jdk8.src.home = ...
+#jdk7.src.home = ...