<!-- Thank you for reporting this issue! --> <!-- The following template is highly recommended to trigger an efficient course of actions: it's pretty suitable if you're Unable to Update Eclipse IDE - Check for Updates (#142)