Initially, I thought the JAR file should be the location of last resort. I've changed it now to be the preferential location. Neither is perfect, but this seems better. (It means if you have an out-of-date entry in one of your catalogs, it won't prevent you from getting newer versions from the JAR file.)
Initially, I thought the JAR file should be the location of last resort. I've changed it now to be the preferential location. Neither is perfect, but this seems better. (It means if you have an out-of-date entry in one of your catalogs, it won't prevent you from getting newer versions from the JAR file.)