java.io.File field "path" is not declared final

[Alan Bateman]

On 17/02/2012 16:57, Mike Duigou wrote:
> Throwing plain Error could probably be improved to InternalError.
>
> (Though it will probably never be thrown).
>
> Mike
>
This is something where we have never been consistent. I did a quick 
search through the jdk repository and see 246 places where Error is 
thrown, 410 where InternalError is thrown, and 278 where AssertionError 
is thrown. Most of these are "should not here here" sites and so the 
error will never be thrown. Definitely wroth a bit clean-up some day. 
For now, I think I'll push Rémi as is, if for no reason other than 
File.toURI also throws Error.

-Alan.