List of translations from Java's os.name and os.arch properties
into the platform names used by the JDK makefiles.
Add your own translations as needed.