[SCM] jedit - Java plugin-based editor for programmers branch, master, updated. debian/4.4.2+dfsg-1-23-g998e08e

[Gabriele Giacone]

The following commit has been merged in the master branch:
commit dc6d52a8826977f1e3a114142e6673dd40567918
Author: Gabriele Giacone <1o5g4r8o at gmail.com>
Date:   Fri Jun 15 14:05:26 2012 +0000

    Refresh 02build.xml patch.

diff --git a/debian/patches/02build.xml b/debian/patches/02build.xml
index 00e3080..af70d55 100644
--- a/debian/patches/02build.xml
+++ b/debian/patches/02build.xml
@@ -2,9 +2,9 @@ Description: Some bsh directories and files have been removed by jedit.
  In Debian bsh, they exist and this patch excludes them from build process.
 Author: Gabriele Giacone <1o5g4r8o at gmail.com>
 
---- a/jEdit/build.xml
-+++ b/jEdit/build.xml
-@@ -143,6 +143,10 @@
+--- a/build.xml
++++ b/build.xml
+@@ -233,6 +233,10 @@
  		       encoding="UTF-8"
  		       includeAntRuntime="false">
  			<include name="org/**"/>
@@ -12,6 +12,6 @@ Author: Gabriele Giacone <1o5g4r8o at gmail.com>
 +			<exclude name="org/gjt/sp/jedit/bsh/util/*"/>
 +			<exclude name="org/gjt/sp/jedit/bsh/util/**/*"/>
 +			<exclude name="org/gjt/sp/jedit/bsh/Console.java"/>
- 			<include name="com/**"/>
  			<compilerarg line="${config.build.compilerarg}"/>
  		</javac>
+ 	</target>

-- 
jedit - Java plugin-based editor for programmers