changeset 2972 | 3130ead31447 |
parent 2841 | 02c0a1315730 |
parent 2971 | 170fb87a3dd1 |
child 3297 | d4ab6018e6f6 |
child 3367 | a017b829d8f4 |
--- a/jaxws/make/build.properties Wed Jul 05 16:54:26 2017 +0200 +++ b/jaxws/make/build.properties Thu Jun 11 21:30:49 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