Deployment of a semi-automatic Java Refactoring tool