Re: Workaround for openjdk misconfiguration?