ChangeOrientedProgrammingEnvironment/eclipseReplayer — pull request #9 by cdmihai (2014-01-24 23:07:53+00:00)
Title: Delete resource bug

The delete operation was not being replayed because it was a refactoring.
Apparently the old replayer marked that a refactoring is in place with a global flag. I disabled setting of the flag