--- old/test/langtools/tools/javac/diags/examples/PreviewFilenameAdditional.java	2018-12-05 13:52:02.096446943 -0800
+++ new/test/langtools/tools/javac/diags/examples/PreviewFilenameAdditional.java	2018-12-05 13:52:01.908540936 -0800
@@ -24,7 +24,7 @@
 // key: compiler.note.preview.filename.additional
 // key: compiler.warn.preview.feature.use
 // key: compiler.misc.feature.diamond
-// options: -Xlint:preview -Xmaxwarns 1 -XDforcePreview  -source 12 --enable-preview
+// options: -Xlint:preview -Xmaxwarns 1 -XDforcePreview  -source 13 --enable-preview
 
 import java.util.ArrayList;