Add java.util.logging to idmacs_trace; TODO: better formatter