public static void main(String[] args) {
        int port;
        if (args.length > 0) {
            port = Integer.parseInt(args[0]);
        } else {
            port = 5000;
        }
        new ColdMigServer(port).run();   
    }