--- a/jaxp/make/build.properties	Wed Jul 05 16:54:26 2017 +0200
+++ b/jaxp/make/build.properties	Thu Jun 11 21:26:25 2009 -0700
@@ -30,6 +30,7 @@
 # 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.debug = true
 javac.no.jdk.warnings = -XDignore.symbol.file=true