Reliable Transformation between Java RMI and CORBA Programs