FileUtil.java

package jetbrains.mps.core.tool.environment.common;

/*Generated by MPS */

import org.jetbrains.annotations.NotNull;
import java.io.File;
import org.jetbrains.annotations.NonNls;
import org.jetbrains.annotations.Nullable;

public class FileUtil {
  public FileUtil() {
  }
  @NotNull
  public static String unquote(String urlString) {
    urlString = urlString.replace('/', File.separatorChar);
    return URLUtil.unescapePercentSequences(urlString);
  }
  @NotNull
  public static String toSystemDependentName(@NonNls @NotNull String aFileName) {
    return aFileName.replace('/', File.separatorChar).replace('\\', File.separatorChar);
  }
  @Nullable
  public static File findFirstThatExist(String... paths) {
    for (String path : paths) {
      if (!(StringUtil.isEmptyOrSpaces(path))) {
        File file = new File(FileUtil.toSystemDependentName(path));
        if (file.exists()) {
          return file;
        }
      }
    }
    return null;
  }
}