System.err.println("Usage: statechum.analysis.Erlang.Synapse <ourNode> <cookie> <mailBox> <partnerNode>");
System.exit(99);
}
Synapse s = new Synapse(args[0],args[1],args[2],erlangNode);
ErlangNode.getErlangNode().getNode().registerStatusHandler(new OtpNodeStatus(){
@Override
public void remoteStatus(java.lang.String node, boolean up, @SuppressWarnings("unused") java.lang.Object info)
{
if (node.equals(erlangNode) && up == false)
System.exit(-1);// forcefully kill Java because Erlang has terminated.