Rich and Eric,
thanks for your thoughts. I found out about Eclipse "User Libraries",
which seems to be exactly what you referred to, Rich. Very useful. In
addition to your suggestions, the following article helped me:
InformIT: Configuring an Eclipse Java Project
http://www.informit.com/articles/article.aspx?p=367962
I'm a bit reluctant to put JARs under version control. Agreed, this
allows an even faster start-up after checking out the project, but I
find JARs are not really versioned, so they shouldn't go under version
control.