--- old/test/langtools/tools/javac/profiles/ProfileOptionTest.java	2018-06-21 20:20:49.151006165 -0700
+++ new/test/langtools/tools/javac/profiles/ProfileOptionTest.java	2018-06-21 20:20:48.338600139 -0700
@@ -150,6 +150,7 @@
                     case JDK1_9:
                     case JDK1_10:
                     case JDK1_11:
+                    case JDK1_12:
                         if (p == Profile.DEFAULT)
                             break;
                         if (ise == null)