Rename old properties file before writing new
authoramwaterhouse <Andrew Waterhouse>
Fri, 27 Oct 2006 16:13:09 +0000 (16:13 +0000)
committeramwaterhouse <Andrew Waterhouse>
Fri, 27 Oct 2006 16:13:09 +0000 (16:13 +0000)
commitf174f7c02a8357a4a35c6254739c98fafcca757a
tree3dbffb5b4e1f4603fbc86a74069498ae6746ec57
parent18967a4d27edeae3477c9244e1706a284e99d6d7
Rename old properties file before writing new
src/jalview/bin/Cache.java