--- old/src/jdk.compiler/share/classes/com/sun/tools/javac/tree/Pretty.java 2018-08-01 08:09:08.403825836 +0200 +++ new/src/jdk.compiler/share/classes/com/sun/tools/javac/tree/Pretty.java 2018-08-01 08:09:08.103825850 +0200 @@ -857,7 +857,7 @@ throw new UncheckedIOException(e); } } - + public void visitSwitchExpression(JCSwitchExpression tree) { try { print("switch ");