eclipse bug