Fix eclipse bug