added a few things for eclipse