# HG changeset patch
# User jjg
# Date 1248733203 25200
# Node ID e37ab780540210d61cd4917f65ca9e239655605b
# Parent  22011d9a93985f54c10e872ab5662bddc1e55499
6854244: change source/target used to compile JDK to 7
Reviewed-by: ohair

diff -r 22011d9a9398 -r e37ab7805402 langtools/make/build.properties
--- a/langtools/make/build.properties	Sun Jul 26 21:27:11 2009 -0700
+++ b/langtools/make/build.properties	Mon Jul 27 15:20:03 2009 -0700
@@ -60,8 +60,8 @@
 bootstrap.full.version = ${bootstrap.release}-${build.number}
 
 # 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.debuglevel = source,lines
 javac.no.jdk.warnings = -XDignore.symbol.file=true