Outside Java, this is 'type' if the platform is Windows, but you seemingly set it to 'type' if the platform is *not* Windows, and don't set it at all for other platforms. Is this correct?