private static @Nullable String getOriginalLocation(PsiFile file) {
    return file == null ? null : file.getUserData(ORIGINAL_FILE_LOCATION);
  }
private static @Nullable String getOriginalLocation(PsiFile file)