Migration of Applications across Object-Oriented APIs