# HG changeset patch
# User jjg
# Date 1248733184 25200
# Node ID c5dfd37d18a08a8690d7812f5edc49311e306113
# Parent  fa8712c099edd5c9a6b3ed9729353738004d388f
6854244: change source/target used to compile JDK to 7
Reviewed-by: ohair

diff -r fa8712c099ed -r c5dfd37d18a0 make/build.properties
--- a/make/build.properties	Thu Jul 16 10:53:15 2009 -0700
+++ b/make/build.properties	Mon Jul 27 15:19:44 2009 -0700
@@ -30,8 +30,8 @@
 # one of the standard user build.properties files (see build.xml)
 
 # options for the <javac> tasks used to compile the tools
-javac.source = 5
-javac.target = 5
+javac.source = 7
+javac.target = 7
 javac.debug = true
 javac.no.jdk.warnings = -XDignore.symbol.file=true
 # set the following to -version to verify the versions of javac being used