Refactoring in the presence of annotations | IEEE Conference Publication | IEEE Xplore