added some Eclipse stuff