Workaround for openjdk misconfiguration?