()
| 383 | } |
| 384 | |
| 385 | static int getCurrentJavaVersion() { |
| 386 | String version = System.getProperty("java.version"); |
| 387 | String[] splits = version.split("\\."); |
| 388 | int i0 = Integer.parseInt(splits[0]); |
| 389 | if (i0 == 1) { // format 1.x.y_z (for Java 1-8) |
| 390 | return Integer.parseInt(splits[1]); |
| 391 | } else { // format x.y.z (for Java 9+) |
| 392 | return i0; |
| 393 | } |
| 394 | } |
| 395 | |
| 396 | /** |
| 397 | * Writes options to given file. |
no outgoing calls