File jedit-java14compat.patch of Package jedit
diff -Naur ../jEdit.orig/build.xml ./build.xml
--- ../jEdit.orig/build.xml 2004-08-08 05:57:03.000000000 +0200
+++ ./build.xml 2006-09-25 16:35:41.000000000 +0200
@@ -24,6 +24,8 @@
includeJavaRuntime="yes"
debug="yes"
encoding="UTF8"
+ source="1.4"
+ target="1.4"
>
<include name="bsh/**/*.java"/>
<include name="com/microstar/xml/*.java"/>
@@ -44,6 +46,8 @@
includeJavaRuntime="yes"
debug="yes"
encoding="UTF8"
+ source="1.4"
+ target="1.4"
>
<include name="org/gjt/sp/jedit/Java14.java"/>
<include name="org/gjt/sp/jedit/print/BufferPrinter1_4.java"/>
@@ -169,6 +173,8 @@
destdir="."
deprecation="on"
includeJavaRuntime="yes"
+ source="1.4"
+ target="1.4"
>
<classpath refid="doclet.class.path"/>
<include name="doclet/GenerateTocXML.java"/>
diff -Naur ../jEdit.orig/jars/LatestVersion/build.xml ./jars/LatestVersion/build.xml
--- ../jEdit.orig/jars/LatestVersion/build.xml 2003-03-09 20:20:19.000000000 +0100
+++ ./jars/LatestVersion/build.xml 2006-09-25 16:55:45.000000000 +0200
@@ -19,6 +19,8 @@
srcdir="."
deprecation="on"
includeJavaRuntime="yes"
+ source="1.4"
+ target="1.4"
>
<classpath refid="project.class.path"/>
</javac>
diff -Naur ../jEdit.orig/jars/QuickNotepad/build.xml ./jars/QuickNotepad/build.xml
--- ../jEdit.orig/jars/QuickNotepad/build.xml 2004-08-26 21:13:27.000000000 +0200
+++ ./jars/QuickNotepad/build.xml 2006-09-25 16:58:06.000000000 +0200
@@ -36,6 +36,8 @@
srcdir="."
deprecation="on"
includeJavaRuntime="yes"
+ source="1.4"
+ target="1.4"
>
<classpath refid="project.class.path"/>
</javac>