نبرد جاوه (۱۹۴۲): تفاوت میان نسخه‌ها