What's the proper way to deal with renaming configuration files? I'm working on a new version of hibernate, and right now it simply adds the new config file and leaves the old one lying around, which is less than ideal. Thanks, Ivan