1. 2017-11-06 Re: Eclipse IDE ubuntu-de Charl Wentzel 2. 2017-11-05 Re: Eclipse IDE ubuntu-de Jeremy Bicha 3. 2017-11-05 Eclipse IDE ubuntu-de Nils