Le 16/09/2018 à 12:44, 殷啟聰 | Kai-Chung Yan a écrit : > Shouldn't this be fixed at the `java-common` side instead of here? Switching > back to `default-jdk` seems like a step back to me.
It's indeed a step back but unless java-common is changed (which isn't trivial) I see no other solution. This bug was blocking the more important Java transition. Let's pick the fights one by one. We can still work on this later. Emmanuel Bourg
