I have a patch for this but need to separate it from other changes. Will include soon.
Please update issue title to:
[certeorem] Need to replace System.out messages with JDK log messages
This patch file was carved out of other changes which were manually removed. That is why there are an occasional spurious change in the diff.
Fixed in r70.