diff -r dbb955b1ee59 -r 3130ead31447 jaxws/make/Makefile --- a/jaxws/make/Makefile Wed Jul 05 16:54:26 2017 +0200 +++ b/jaxws/make/Makefile Thu Jun 11 21:30:49 2009 -0700 @@ -83,6 +83,14 @@ endif endif +ifdef SOURCE_LANGUAGE_VERSION + ANT_OPTIONS += -Djavac.source=$(SOURCE_LANGUAGE_VERSION) +else + ifdef JAVAC_SOURCE_ARG + ANT_OPTIONS += -Djavac.source=$(JAVAC_SOURCE_ARG) + endif +endif + ifdef ALT_BOOTDIR ANT_JAVA_HOME = JAVA_HOME=$(ALT_BOOTDIR) endif