public class LogManager
extends Object
this class is responsible for returning properly JPF-configured
Loggers. It is not supposed to be used directly by clients, but rather
is a JPF delegatee.
While we could modify/replace the standard java.util.logging facility
at various levels (own LogManager, own initialization class etc.), we choose
the approach to piggyback on it, because these mechanisms either require
changing system properties, rely on only partly documented features, or
don't give us the full functionality we need. By having our own log
encapsulator, we could also replace the underlying mechanism if we really
want to