为什么Java自动解码URI编码的文件名中的%2f?

我有一个servlet需要写出具有用户可配置名称的文件。我正试图使用URI编码来正确转义特殊字符,但JRE似乎自动转换编码的正斜杠。 %2F 进入路径分隔符。

例子:

File   dir = new File("C:\Documents and Setting\username\temp");
String fn  = "Top 1/2.pdf";
URI    uri = new URI( dir.toURI().toASCIIString() + URLEncoder.encoder( fn, "ASCII" ).toString() );
File   out = new File( uri );

System.out.println( dir.toURI().toASCIIString() );
System.out.println( URLEncoder.encode( fn, "ASCII" ).toString() );
System.out.println( uri.toASCIIString() );
System.out.println( output.toURI().toASCIIString() );

输出是:

file:/C:/Documents%20and%20Settings/username/temp/
Top+1%2F2.pdf   
file:/C:/Documents%20and%20Settings/username/temp/Top+1%2F2.pdf
file:/C:/Documents%20and%20Settings/username/temp/Top+1/2.pdf

在实例化新的文件对象之后, %2F 序列被自动转换为正斜杠,最后得到的路径不正确。有人知道处理这个问题的正确方法吗?

问题的核心似乎是

uri.equals( new File(uri).toURI() ) == FALSE

当有 %2F 在URI中。

我计划只是逐字使用urlencoded字符串,而不是尝试使用 File(uri) 构造函数。