some eclipse setting, which i don't know.