--- a/test/langtools/tools/javac/diags/examples/PreviewFilenameAdditional.java Thu Dec 13 17:01:15 2018 +0100
+++ b/test/langtools/tools/javac/diags/examples/PreviewFilenameAdditional.java Thu Dec 13 19:06:11 2018 +0100
@@ -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;