Peter, that's OK for me and the code is clearer.
> What remains is a possible rename from: javaLogger, javaLevel, > JavaLoggerProxy -> julLogger, julLevel, JulLoggerProxy if that's the final > decision. > I vote for jul prefix that is more explicit; as I said, java means anything but not specifically java.util.logging. Laurent
