CHG: pushed all functionality to Byzantine.java