String (String path) { final String normalized = FileUtilRt.toSystemIndependentName(path); if (isWslPath(normalized)) { final int distrSeparatorIndex = normalized.indexOf('/', WSL_PATH_PREFIX.length()); return distrSeparatorIndex > WSL_PATH_PREFIX.length()? normalized.substring(distrSeparatorIndex) : normalized; } if (isWinPath(normalized)) { return MNT_PREFIX + Character.toLowerCase(normalized.charAt(0)) + normalized.substring(2); } return normalized; }