Merge jdk7u12-b08 into jdk7u12-b09