Note on os.name java property