[PATCH] java.util.prefs

[Tom Tromey]

>>>>> "Michael" == Michael Koch <konqueror@gmx.de> writes:

Michael> This patch merged java.util.prefs with classpath. Please
Michael> review and comment.

Looks great.
This is fine for the trunk.

Michael> +  New files, all merged from classpath. All not compiled yet.

I don't understand this comment.  It looks to me like they are all
mentioned in Makefile.am.


Did we ever decide whether this should go in 3.3?
I'll look at the list archives.

Tom