From 7418aca666aa3e15db0474aaee6dda446a97eb5e Mon Sep 17 00:00:00 2001
From: Elizaveta Shashkova <Elizaveta.Shashkova@jetbrains.com>
Date: Mon, 15 Feb 2016 17:43:18 +0300
Subject: [PATCH] Module `platform` is not available on old Jython (PY-18334)

---
 python/helpers/pydev/pydevd_file_utils.py | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/python/helpers/pydev/pydevd_file_utils.py b/python/helpers/pydev/pydevd_file_utils.py
index 01cf5c9e19ec..2e63f4b26569 100644
--- a/python/helpers/pydev/pydevd_file_utils.py
+++ b/python/helpers/pydev/pydevd_file_utils.py
@@ -97,8 +97,7 @@ def set_ide_os(os):
     if os == 'UNIX':
         normcase = lambda f:f #Change to no-op if the client side is on unix/mac.
     else:
-        import platform
-        if platform.system() == 'Windows':
+        if sys.platform == 'win32':
             normcase = norm_case
         else:
             normcase = os_normcase