--- jsr166/user.properties.sample 2003/07/25 21:24:56 1.9 +++ jsr166/user.properties.sample 2003/07/26 13:17:51 1.10 @@ -3,15 +3,15 @@ # # Modify this file to taste and save as user.properties # -# $Id: user.properties.sample,v 1.9 2003/07/25 21:24:56 tim Exp $ +# $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.0) ----- -gjc.version = 2.0 +# ----- Which gj compiler: 2.0 or 2.2? (default 2.2) ----- +gjc.version = 2.2 -# ----- Turn on -novariance? (default true, ignored in version 2.1) ----- +# ----- Turn on -novariance? (default true, ignored in version 2.2) ----- gjc.novariance = true