private final String stdToLocal(String name){
  return name.replace('/',java.io.File.separatorChar);
}

private final String stdToLocal ( String name ) { return name . replace ( '/' , java . io . File . separatorChar ) ; }
file names are represented internally using " / " ; they are converted to the local format for anything else
