just a little error in AnalysisRedundantRequirementChecker
line 93,95: I think there should be uc2Names, not uc1Names, aber I have seen the history, it was alway uc1Names there, so I’m not sure, if there is a bug
(from redmine: issue id 1059, created on 2012-12-05, closed on 2012-12-11)