cup-eclipse ===========
Improvement proposals: - Conflict graph view: Being able to search in states - Conflict (graph) view: Highlighting the closed items for Reduce-States - Conflict view: show right context - Conflict view: bullet instead of star
