Re: FYI: Patch: java.util.regex

[Tom Tromey <tromey at redhat dot com>]

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

Michael> The two items above have a problem: the definition of the word 
Michael> important.  If its important for me it may not important for you.

I don't see this as a problem so much as a negotiable point.

For instance, there are programs out there that reference parts of
Swing but which are still useful in one mode even if you don't have
Swing working.  In a case like this there's a good case for making
stubs so we can compile the program as-is.

Michael> I will look into the real implementation of java.util.regex
Michael> soon.

Cool.

Tom