8010309 : PlatformLogger: isLoggable performance / waste due to HashMap<Integer, Level> leads to Integer allocations (boxing)

[Laurent Bourgès]

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