public static void configurePathMapper(JpsGlobal global) {
    if (System.getProperty("jps.in.wsl") != null) {
      global.setPathMapper(new JpsWslPathMapper());
    }
  }
public static void configurePathMapper(JpsGlobal global)