AnnoRefactoring - Refactoring in the presence of Annotations

[Work in Progress]

AnnoRefactoring is an Eclipse plugin to augment the automated refactorings in Eclipse so that they are behaviour preserving.

If you want to try out AnnoRefactoring, download the VirtualBox image containing SOUL, Barista and AnnoRefactoring.