COBOL→Java Migration Verification