Minor clean-up

- tighten exception specification in catch clause in a few places
- remove eclipse project information