The Eclipse plugin accompanying SemDiff