--- old/test/langtools/tools/javac/diags/examples/RuleCompletesNormally.java	2018-12-11 11:16:41.506264999 -0800
+++ new/test/langtools/tools/javac/diags/examples/RuleCompletesNormally.java	2018-12-11 11:16:41.330176999 -0800
@@ -24,7 +24,7 @@
 // key: compiler.err.rule.completes.normally
 // key: compiler.note.preview.filename
 // key: compiler.note.preview.recompile
-// options: --enable-preview -source 12
+// options: --enable-preview -source 13
 
 class RuleCompletesNormally {
     public String convert(int i) {