Trivial thing: https://bugs.openjdk.java.net/browse/JDK-8249141 Noticed this while adding another definition there. Seems cleaner to adjust the indent separately: https://cr.openjdk.java.net/~shade/8249141/webrev.01/ Testing: builds; nothing else -- Thanks, -Aleksey