some eclipse bugs resolved