Back to eclipse. Fixed bug with not reverting dummies