# HG changeset patch
# User jjg
# Date 1248733173 25200
# Node ID a2c23b6ed04b20158c966a083f1f95351a898b62
# Parent  62109d1b9e7310f29ab51ca6f1d71b899c0ce6b0
6854244: change source/target used to compile JDK to 7
Reviewed-by: ohair

diff -r 62109d1b9e73 -r a2c23b6ed04b jaxp/make/build.properties
--- a/jaxp/make/build.properties	Wed Jul 05 16:57:01 2017 +0200
+++ b/jaxp/make/build.properties	Mon Jul 27 15:19:33 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