forgot file

diff --git a/Robust/src/Benchmarks/Chat/Message.java b/Robust/src/Benchmarks/Chat/Message.java
new file mode 100644 (file)
index 0000000..92db626
--- /dev/null
+++ b/Robust/src/Benchmarks/Chat/Message.java
@@ -0,0 +1,12 @@
+public class Message {
+    flag Sent;
+    ChatSocket cs;
+    byte buffer[];
+    int length;
+
+    public Message(byte[]  b, int l, ChatSocket cs) {
+       this.cs=cs;
+       this.buffer=b;
+       this.length=l;
+    }
+}