[tomcat6] 12/13: drop 0017-eclipse-compiler-update.patch

[Tony Mancill]

This is an automated email from the git hooks/post-receive script.

tmancill pushed a commit to branch master
in repository tomcat6.

commit b92b21794da922bb3913aa4886fc25f383e0c57d
Author: tony mancill <tmancill at debian.org>
Date:   Sat Aug 3 21:49:53 2013 -0700

    drop 0017-eclipse-compiler-update.patch
---
 debian/patches/0017-eclipse-compiler-update.patch |   13 -------------
 debian/patches/series                             |    1 -
 2 files changed, 14 deletions(-)

diff --git a/debian/patches/0017-eclipse-compiler-update.patch b/debian/patches/0017-eclipse-compiler-update.patch
deleted file mode 100644
index 0a37f7e..0000000
--- a/debian/patches/0017-eclipse-compiler-update.patch
+++ /dev/null
@@ -1,13 +0,0 @@
---- a/java/org/apache/jasper/compiler/JDTCompiler.java
-+++ b/java/org/apache/jasper/compiler/JDTCompiler.java
-@@ -151,6 +151,10 @@
-             public boolean ignoreOptionalProblems() {
-                 return false;
-             }
-+
-+            public boolean ignoreOptionalProblems() {
-+                return false;
-+            }
-         }
- 
-         final INameEnvironment env = new INameEnvironment() {
diff --git a/debian/patches/series b/debian/patches/series
index d01b43c..f4fb4ad 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -7,4 +7,3 @@
 0007-add-OSGi-headers-to-servlet-api.patch
 0008-add-OSGI-headers-to-jsp-api.patch
 0010-Use-java.security.policy-file-in-catalina.sh.patch
-0017-eclipse-compiler-update.patch

-- 
Alioth's hooks/post-receive on /srv/git.debian.org/git/pkg-java/tomcat6.git