CLASSPATH=/nfs/spectre/u5/dohy/siena/Siena_faults/source/classes:/nfs/spectre/u5/dohy/siena/Siena_faults/source/testdrivers
-D[siena.StartServer] -P[-port 2000 -master senp://:7000] -s[start_1.sh] -x[termin_2pid.sh] -B
-D[siena.StartServer] -P[-port 3000 -master senp://:7000] -s[start_2.sh] -x[termin_3pid.sh] -B
-D[siena.StartServer] -P[-port 2000 -master senp://:3000] -s[start_3.sh] -x[termin_3pid.sh] -B
-D[siena.StartServer] -P[-port 7000 id] -x[termin_1pid.sh] -B
