add all the eclipse settings stuff (maybe needed to reproduce whatever)