FYI: I have removed the old Java Gnats database. I made a copy in my home directory on sources just in case we need it again for some bizarre reason. In a year or two I'll probably see it sitting there and then I'll delete it. Tom