@@ -149,10 +149,11 @@ break; case JDK1_9: case JDK1_10: case JDK1_11: case JDK1_12: + case JDK1_13: if (p == Profile.DEFAULT) break; if (ise == null) error("IllegalStateException not thrown as expected"); else if (!ise.getMessage().contains("option -profile " +