LogManager

```
public class LogManager
extends java.lang.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

Constructors
Constructor and Description
`LogManager()`

All Methods Static Methods Concrete Methods
Modifier and Type	Method and Description
`static JPFLogger`	`getLogger(java.lang.String name)`
`static void`	`init(Config conf)` note - this is not allowed to fail, since we couldn't log that.
`static void`	`printStatus(java.util.logging.Logger log)`
`static void`	`setOutput(java.io.OutputStream out)`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

init
```
public static void init(Config conf)
```
note - this is not allowed to fail, since we couldn't log that. Hardcoded default values have to do in this case (make sure we catch the proper Config exceptions)

public static JPFLogger getLogger(java.lang.String name)

public static void setOutput(java.io.OutputStream out)

public static void printStatus(java.util.logging.Logger log)

Class LogManager