workaround for openJDK bug