Name refactoring for mobile code