eclipse/eclipse-servlet-3.1.patch

--- eclipse.platform.ua/org.eclipse.help.webapp/src/org/eclipse/help/internal/webapp/servlet/ValidatorServlet.java.sav	2013-09-30 11:59:22.000000000 +0300
+++ eclipse.platform.ua/org.eclipse.help.webapp/src/org/eclipse/help/internal/webapp/servlet/ValidatorServlet.java	2014-01-06 15:09:36.251220892 +0200
@@ -26,6 +26,7 @@ import java.util.Locale;
 import javax.servlet.ServletConfig;
 import javax.servlet.ServletException;
 import javax.servlet.ServletOutputStream;
+import javax.servlet.WriteListener;
 import javax.servlet.http.HttpServlet;
 import javax.servlet.http.HttpServletRequest;
 import javax.servlet.http.HttpServletResponse;
@@ -270,5 +271,11 @@ public class ValidatorServlet extends Ht
 		public void write(int b) throws IOException {
 			out.write(b);
 		}
+		
+		public boolean isReady() {
+		    return true;
+		}
+		public void setWriteListener(WriteListener writeListener) {
+		}
 	}
 }