(so that are the auto-generated names by eclipse, I didn't bother adding the right names)