()
| 291 | } |
| 292 | |
| 293 | void validateTarget() { |
| 294 | if (target==4 || target==5) //Java 8 or 9 |
| 295 | target = 8; |
| 296 | if (target<6) |
| 297 | target = 6; |
| 298 | if (target>IJ.javaVersion()) |
| 299 | target = IJ.javaVersion(); |
| 300 | Prefs.set(TARGET_KEY, target); |
| 301 | } |
| 302 | |
| 303 | private static String getTargetAsString() { |
| 304 | if (target<8) |
no test coverage detected