--- old/test/langtools/tools/javac/diags/examples/SwitchMixingCaseTypes.java	2018-12-05 13:52:09.212887201 -0800
+++ new/test/langtools/tools/javac/diags/examples/SwitchMixingCaseTypes.java	2018-12-05 13:52:09.024981194 -0800
@@ -24,7 +24,7 @@
 // key: compiler.err.switch.mixing.case.types
 // key: compiler.note.preview.filename
 // key: compiler.note.preview.recompile
-// options: --enable-preview -source 12
+// options: --enable-preview -source 13
 
 class SwitchMixingCaseTypes {