diff --git a/eclipse-servlet-3.1.patch b/eclipse-servlet-3.1.patch
new file mode 100644
index 0000000..859f2e5
--- /dev/null
+++ b/eclipse-servlet-3.1.patch
@@ -0,0 +1,14 @@
+--- eclipse.platform.ua/org.eclipse.help.webapp/src/org/eclipse/help/internal/webapp/servlet/ValidatorServlet.java.sav	2014-01-06 14:10:59.487326923 +0200
++++ eclipse.platform.ua/org.eclipse.help.webapp/src/org/eclipse/help/internal/webapp/servlet/ValidatorServlet.java	2014-01-06 14:12:36.149409398 +0200
+@@ -270,5 +270,11 @@
+ 		public void write(int b) throws IOException {
+ 			out.write(b);
+ 		}
++		
++		public boolean isReady() {
++		    return true;
++		}
++		public void setWriteListener(WriteListener writeListener) {
++		}
+ 	}
+ }