--- old/test/langtools/tools/javac/profiles/ProfileOptionTest.java	2018-12-03 18:11:42.858482999 -0800
+++ new/test/langtools/tools/javac/profiles/ProfileOptionTest.java	2018-12-03 18:11:42.666387000 -0800
@@ -151,6 +151,7 @@
                     case JDK1_10:
                     case JDK1_11:
                     case JDK1_12:
+                    case JDK1_13:
                         if (p == Profile.DEFAULT)
                             break;
                         if (ise == null)