public static void push(ViewState vs, Message message) { ArrayOptimized.pushArrayInetWithPort(vs.addresses, message); ArrayOptimized.pushArrayEndpt(vs.view, message); ArrayOptimized.pushArrayViewID(vs.previous, message); ViewID.push(vs.id, message); Group.push(vs.group, message); message.pushString(vs.version); }