A developer tool for refactoring