Currently, I am replacing my hibernate.cfg.xml file every time I download a new version of PAINT. Also, I'm not sure how to modify the file to switch to a different mirror. Could we add a menu item to allow users to choose which GO mirror they will be using?
Maybe, as a temporary alternative, we could provide PAINT with all three versions of the hibernate.cfg.xml file and just ask users to rename the one they want to use. This would be easier and more reliable than users text-editing the single file.