location equals and hashcode (eclipse generated)