kdevelop/parts/eiffelsupport
