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