Issue #3: use java.util.logging instead of System.out