On 02/05/18 10:18, Doug Simon wrote: > We will continue to try mitigate OpenJDK development pain by providing tools such as updategraalinopenjdk. Well, that worked like a charm! Thank you, it makes a big difference.