1.1 --- a/make/build.properties Thu May 14 10:58:02 2009 -0700 1.2 +++ b/make/build.properties Wed May 20 13:50:44 2009 -0700 1.3 @@ -30,6 +30,7 @@ 1.4 # one of the standard user build.properties files (see build.xml) 1.5 1.6 # options for the <javac> tasks used to compile the tools 1.7 +javac.source = 5 1.8 javac.target = 5 1.9 javac.debug = true 1.10 javac.debuglevel = source,lines