Hi Stephan, On Wednesday, September 20, 2017 at 2:37:12 PM UTC+2, [email protected] wrote: > > thank you for all your investigation. I just want to inform you, that we > solved the problem more or less by accident by using the OpenJDK platform > instead of the Oracle JDK. >
Hard to believe, because there is not much differences between OpenJDK and OracleJDK - you can consider OracleJDK as slightly customized build of OpenJDK done by Oracle. The only major differences are in UI-related components (see https://github.com/AdoptOpenJDK/openjdk-build/wiki/Differences-between-Adopt-OpenJDK-binaries-and-Oracle-JDK-Binaries), which do not play role in this discussion. In particular https://bugs.openjdk.java.net/browse/JDK-8154017 is present in both of them for versions < 9, and was fixed for both of them for versions >=9. Note that this bug is about race condition - something that is not guaranteed to happen with 100% chance. Regards, Evgeny -- You received this message because you are subscribed to the Google Groups "JaCoCo and EclEmma Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jacoco/c9e31212-200e-4a0e-ad0b-707bf20abc22%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
