class ServerViewController extends ViewController {

	public int getQuorum() {
		return getStaticConf().isBFT() ? quorumBFT : quorumCFT;
	}

	public  ServerViewController(int procId);
	public  ServerViewController(int procId, String configHome);

}