Thanks for the suggestions (and the reminder about the proper capitalization-- I don't know why I always think of it as JAVA except perhaps that the titles of the old volumes on my bookshelf are ...