Update VeryHardProtocol.java