Eclipse's code correction