>>>>> "Michael" == Michael Koch <konqueror@gmx.de> writes: Michael> the attached patch, merged much of java.io with classpath. This is Michael> documentation and indentation. Fine, thanks. In general I think pure documentation and indentation changes can go in under the "obvious" rule. Tom