--- old/src/share/classes/java/util/logging/MemoryHandler.java 2013-06-10 10:38:00.753878870 +0100 +++ new/src/share/classes/java/util/logging/MemoryHandler.java 2013-06-10 10:38:00.481878876 +0100 @@ -64,7 +64,7 @@ * (defaults to no Filter). *
  • <handler-name>.size * defines the buffer size (defaults to 1000).
  • - *
  • <handler-name>.push + *
  • <handler-name>.push * defines the pushLevel (defaults to level.SEVERE).
  • *
  • <handler-name>.target * specifies the name of the target Handler class. @@ -155,7 +155,7 @@ * @param size the number of log records to buffer (must be greater than zero) * @param pushLevel message level to push on * - * @throws IllegalArgumentException if size is <= 0 + * @throws IllegalArgumentException if {@code size is <= 0} */ public MemoryHandler(Handler target, int size, Level pushLevel) { if (target == null || pushLevel == null) {