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