--- jsr166/user.properties.sample	2003/05/18 18:10:02	1.2
+++ jsr166/user.properties.sample	2016/03/26 15:09:08	1.13
@@ -2,14 +2,15 @@
 # Developer-specific properties
 #
 # 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 $
 # ---------------------------------------------------------------------------
 
 
-# ----- Restrict to test cases matching this pattern -----
-#testcase = PriorityQueue
-
+# ----- Where to find executable jdks -----
+#jdk9.home = ...
+#jdk8.home = ...
+#jdk7.home = ...
 
-# ----- Show build warnings (-warnunchecked) -----
-#build.warnings = true
+# ----- Where to find jdk source trees (used to generate javadocs) -----
+#jdk9.src.home = ...
+#jdk8.src.home = ...
+#jdk7.src.home = ...