public class Symbols {
    public static final int Infinity = -1;
    // internet related
    public static final String nameServer = "linux02.ece.utexas.edu";
    public static final int ServerPort = 7039;
    public static final int coordinator = 0;
    // time bounds on messages in ms for synchronous algorithms
    public static final int roundTime = 500;
    public static final boolean debugFlag = true;
}