Implementation: finished Porting Java to CHERI section