> Hi, > > This is the third version of the changes, which I would like > to push today unless there is a major objection. > The changes will be reviewed again before getting into > jdk7u-dev. Will you drop a note here when they'll pushed into jdk7u-dev ?