Re: [cp-patches] FYI: Avoid recursion in java.util.Properties

[Tom Tromey]

>>>>> "Roman" == Roman Kennke <address@hidden> writes:

Roman> This fix 'outsources' the functionality of the getProperty methods
Roman> into a private method. This avoids infinite recursion if one of the
Roman> getProperty methods is overridden in subclasses.

While this is a totally sensible way to write code, I worry that there
are classes out there that derive from Properties and just override
one of these methods, "working" because they happen to match how the
JDK delegates internally.

In this situation I would recommend a test case to determine this; and
then an @specnote or the like documenting the result.

Tom