added Eclipse support