Implementation: improved Porting Java