File 02build.xml.patch of Package jedit

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@gmail.com>

--- a/jEdit/build.xml
+++ b/jEdit/build.xml
@@ -122,6 +122,10 @@
 			   compiler="modern"
 			   encoding="UTF-8">
 			<include name="org/**" />
+			<exclude name="org/gjt/sp/jedit/bsh/servlet/*"/>
+			<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>