public static final String URIToFilename ( String str ) { // Windows fix if ( str . length ( ) >= 3 ) { if ( str . charAt ( 0 ) == ' ' && str . charAt ( 2 ) == ' ' ) { char ch1 = Character . toUpperCase ( str . charAt ( 1 ) ) ; if ( ch1 >= ' ' && ch1 <= ' ' ) str = str . substring ( 1 ) ; } } // handle platform dependent strings str = str . replace ( ' ' , java . io . File . separatorChar ) ; return str ; }
Fixes a platform dependent filename to standard URI form .