Chris Hegarty wrote:
:
But as I said, I don't have a specific problem with Sean's webrev if
others are in agreement with it.
This originally came up in the context of an older release of the
proprietary JDK so there has been a bit of prior discussion. We asked
Sean to bring it here as it applicable to the java.rmi.server.UID that
is in OpenJDK too. Maybe for 8 or beyond then someone could reexamine
UID and come up with a way to change the specification that doesn't
cause compatibility issues.
-Alan.
