diff -r dbb955b1ee59 -r faa3111c009c jaxp/make/build.properties --- 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 tasks used to compile the tools +javac.source = 5 javac.target = 5 javac.debug = true javac.no.jdk.warnings = -XDignore.symbol.file=true