--- old/test/langtools/tools/javac/diags/examples/NotExhaustive.java	2018-12-11 11:16:36.996010999 -0800
+++ new/test/langtools/tools/javac/diags/examples/NotExhaustive.java	2018-12-11 11:16:36.823925000 -0800
@@ -24,7 +24,7 @@
 // key: compiler.err.not.exhaustive
 // key: compiler.note.preview.filename
 // key: compiler.note.preview.recompile
-// options: --enable-preview -source 12
+// options: --enable-preview -source 13
 
 class NotExhaustive {
     int t(int i) {