added Eclipse stuff