CHG: the logging framework has been changed to java.util.logging