adapted logging to use java.util.logger