Fixed workaround for bug in openjdk-8-jre-headless