--- jsr166/user.properties.sample	2003/05/18 18:10:02	1.2
+++ jsr166/user.properties.sample	2003/05/28 00:35:05	1.3
@@ -3,7 +3,7 @@
 #
 # 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 $
+# $Id: user.properties.sample,v 1.3 2003/05/28 00:35:05 tim Exp $
 # ---------------------------------------------------------------------------
 
 
@@ -13,3 +13,7 @@
 
 # ----- Show build warnings (-warnunchecked) -----
 #build.warnings = true
+
+
+# ----- Use non-native emulation classes -----
+#build.emulation = true