File oldrhino-java14compat.patch of Package oldrhino

diff -Naur ../rhino1_5R3.orig/build.xml ./build.xml
--- ../rhino1_5R3.orig/build.xml	2002-01-27 19:53:20.000000000 +0100
+++ ./build.xml	2006-09-21 14:45:20.000000000 +0200
@@ -110,7 +110,8 @@
              version="true"
              author="true"
              public="true"
-             windowtitle="${Name}" />
+             windowtitle="${Name}" 
+	     source="1.4" />
   </target>
 
   <target name="dist" depends="copy-all,javadoc,jar">
diff -Naur ../rhino1_5R3.orig/src/build.xml ./src/build.xml
--- ../rhino1_5R3.orig/src/build.xml	2002-01-27 19:53:32.000000000 +0100
+++ ./src/build.xml	2006-09-21 14:46:32.000000000 +0200
@@ -15,7 +15,9 @@
            destdir="${nest}/${build.dest}" 
            includes="org/**/*.java"
            deprecation="on"
-           debug="${debug}">
+           debug="${debug}"
+	   source="1.4"
+	   target="1.4" >
     </javac>
   </target>
 
diff -Naur ../rhino1_5R3.orig/toolsrc/build.xml ./toolsrc/build.xml
--- ../rhino1_5R3.orig/toolsrc/build.xml	2002-01-27 19:53:36.000000000 +0100
+++ ./toolsrc/build.xml	2006-09-21 14:45:54.000000000 +0200
@@ -65,7 +65,9 @@
            destdir="${nest}/${build.dest}" 
            includes="org/**/*.java"
            deprecation="on"
-           debug="${debug}">
+           debug="${debug}"
+	   source="1.4"
+	   target="1.4" >
     </javac>
   </target>