private void receive_newkeys(Buffer buf, KeyExchange kex) { // send_newkeys(); updateKeys(kex); in_kex=false; } private void updateKeys(KeyExchange kex)