diff --git a/js/rhino/build.properties b/js/rhino/build.properties index 7592d81ba85..cf790842568 100644 --- a/js/rhino/build.properties +++ b/js/rhino/build.properties @@ -49,6 +49,7 @@ classes: ${build.dir}/classes # compilation settings debug: on target-jvm: 1.1 +source-level: 1.3 # jar generation settings jar-compression: true diff --git a/js/rhino/deprecatedsrc/build.xml b/js/rhino/deprecatedsrc/build.xml index 284ff5bbe6e..71ad7175563 100644 --- a/js/rhino/deprecatedsrc/build.xml +++ b/js/rhino/deprecatedsrc/build.xml @@ -11,6 +11,7 @@ deprecation="on" debug="${debug}" target="${target-jvm}" + source="${source-level}" > diff --git a/js/rhino/src/build.xml b/js/rhino/src/build.xml index 7e5ae6fa753..4d848fd7f21 100644 --- a/js/rhino/src/build.xml +++ b/js/rhino/src/build.xml @@ -15,6 +15,7 @@ Requires Ant version 1.2 deprecation="on" debug="${debug}" target="${target-jvm}" + source="${source-level}" > diff --git a/js/rhino/toolsrc/build.xml b/js/rhino/toolsrc/build.xml index 2900d95c97b..fab21adb2fb 100644 --- a/js/rhino/toolsrc/build.xml +++ b/js/rhino/toolsrc/build.xml @@ -19,7 +19,9 @@ Requires Ant version 1.2 includes="org/**/*.java" deprecation="on" debug="${debug}" - target="${target-jvm}"> + target="${target-jvm}" + source="${source-level}" + >