1 files changed, 6 insertions, 0 deletions
diff --git a/java/src/Ice/InputStream.java b/java/src/Ice/InputStream.java
index 5953c21bd78..091fb9b8492 100644
--- a/java/src/Ice/InputStream.java
+++ b/java/src/Ice/InputStream.java
@@ -59,6 +59,12 @@ public interface InputStream
     void skipEncapsulation();
     void endEncapsulation();
 
+    void startSeq(int numElements, int minSize);
+    void checkSeq();
+    void checkFixedSeq(int numElements, int minSize);
+    void endSeq(int sz);
+    void endElement();
+
     void readPendingObjects();
 
     void rewind();