Create ChandyLamport.java