equal
deleted
inserted
replaced
149 break; |
149 break; |
150 case JDK1_9: |
150 case JDK1_9: |
151 case JDK1_10: |
151 case JDK1_10: |
152 case JDK1_11: |
152 case JDK1_11: |
153 case JDK1_12: |
153 case JDK1_12: |
|
154 case JDK1_13: |
154 if (p == Profile.DEFAULT) |
155 if (p == Profile.DEFAULT) |
155 break; |
156 break; |
156 if (ise == null) |
157 if (ise == null) |
157 error("IllegalStateException not thrown as expected"); |
158 error("IllegalStateException not thrown as expected"); |
158 else if (!ise.getMessage().contains("option -profile " + |
159 else if (!ise.getMessage().contains("option -profile " + |