question: public static String correctFileName ( String f ) { f = f . replace ( '\\' , '/' ) ; if ( f . startsWith ( "/" ) ) { f = f . substring ( 1 ) ; } return f ; }
target:  Fix the file name, replacing backslash with slash.