diff -r aa079dc20555 src/org/python/core/packagecache/CachedJarsPackageManager.java --- a/src/org/python/core/packagecache/CachedJarsPackageManager.java Sat May 11 19:28:25 2013 +0100 +++ b/src/org/python/core/packagecache/CachedJarsPackageManager.java Wed Jun 05 11:40:46 2013 +0200 @@ -272,7 +272,7 @@ if ((entry == null || !(new File(entry.cachefile).exists())) && cache) { - message("processing new jar, '" + jarcanon + "'"); + comment("processing new jar, '" + jarcanon + "'"); String jarname; if (localfile) { @@ -303,7 +303,7 @@ if (caching) { this.indexModified = true; if (entry.mtime != 0) { - message("processing modified jar, '" + jarcanon + "'"); + comment("processing modified jar, '" + jarcanon + "'"); } entry.mtime = mtime; }