Changeset: 5f40be158613 Author: dfuchs Date: 2018-08-27 12:33 +0100 URL: http://hg.openjdk.java.net/jdk/jdk/rev/5f40be158613 8209987: Minor cleanup in Level.java Reviewed-by: dfuchs Contributed-by: Bernd Eckenfels <ecki at zusammenkunft.net> ! src/java.logging/share/classes/java/util/logging/Level.java